differentFrom(p1,p2).

differentFrom(x,y)<->differentFrom(y,x).
martian(x) | venusian(x).
feminin(x) | masculin(x).
cuplu(p1,p2).
cuplu(x,y)->(feminin(x) & masculin(y)) | (feminin(y) & masculin(x)).

martian(x) & martian(y)-> -differentFrom(x,y).

venusian(x) & venusian(y)-> -differentFrom(x,y).
feminin(x) & feminin(y)-> -differentFrom(x,y).
masculin(x) & masculin(y)-> -differentFrom(x,y).

%venusian(x) & feminin(x)->adevar.

%venusian(x) & masculin(x)->miniciuna.
%martian(x) & feminin(x)->miniciuna.
%martian(x) & masculin(x)->adevar.

martian(p1) & masculin(p1) -> martian(p1).

-(martian(p1) & masculin(p1)) -> venusian(p1).

venusian(p2) & feminin(p2) -> venusian(p1).

martian(p2) & masculin(p2) -> venusian(p1).
-((venusian(p2) & feminin(p2)) & (martian(p2) & masculin(p2)) ) -> martian(p1).

% cuplu de martieni
% cuplu de venusieni
% nu e un cuplu mixt
%nu am reusit sa il rulez.