% FCTEST
:- ensure_loaded(fc).

:- spouse(P1,P2) => add(spouse(P2,P1)).
:- spouse(P1,P2) =/> remove(spouse(P2,P1)).
:- add(spouse(adam,eve)).
:- spouse(X,Y), female(X) => add(wife(X,Y)).
:- => female(eve).
:- female(X), male(X) =>  add(contradiction(male(X),female(X))).
:- contradiction(P,Q) => format("CONTRADICTION: ~w and ~w can not both be true",[P,Q]).