differentFrom(ork,bog).

differentFrom(x,y)<->differentFrom(y,x).
martian(x) | venusian(x).
feminin(x) | 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.

venusian(ork) & feminin(ork) -> venusian(bog).

martian(ork) & masculin(ork) -> venusian(bog).
-((venusian(ork) & feminin(ork)) & (martian(ork) & masculin(ork)) ) ->
martian(bog).

venusian(bog) & feminin(bog) -> martian(ork).

martian(bog) & masculin(bog) -> martian(ork).
-((venusian(bog) & feminin(bog)) & (martian(bog) & masculin(bog)) ) ->
venusian(ork).

venusian(ork) & feminin(ork) -> masculin(bog).

martian(ork) & masculin(ork) -> masculin(bog).
-((venusian(ork) & feminin(ork)) & (martian(ork) & masculin(ork)) ) ->
feminin(bog).

venusian(bog) & feminin(bog) -> feminin(ork).

martian(bog) & masculin(bog) -> feminin(ork).
-((venusian(bog) & feminin(bog)) & (martian(bog) & masculin(bog)) ) ->
masculin(ork).

% ork - venusian
% bog- martian
% ork - masculin
% bog- feminin