couple(X,Y):-love(X,Y),love(Y,X).
enemy(X,Y):-love(X,Z),not(love(Z,X)),love(Z,Y).
enemy(X,Y):-loved(X,Z),not(love(Z,X)),love(Z,Y).
possible_enemy(X,Y):-possiblelove(X,Z),not(love(Z,X)),love(Z,Y),not(X=Y).
possible_enemy(X,Y):-loved(X,Z),not(love(Z,X)),possiblelove(Z,Y),not(X=Y).
boom(X,Y):-hate(X,Y),hate(Y,X).
jealousy(X,Y):-love(X,Z),not(love(Z,X)),friend(Z,Y),not(X=Y).
possible_jealousy(X,Y):-possiblelove(X,Z),not(love(Z,X)),friend(Z,Y),not(X=Y).
possible_jealousy(X,Y):-loved(X,Z),not(love(Z,X)),friend(Z,Y),not(X=Y).
never(X,Y):-love(X,Y),hate(Y,X).
uneqlove(X,Y):-love(X,Y),not(love(Y,X)).
compet(X,Y):-love(X,Z),love(Y,Z).
unclear(X,Y):-friend(X,Y),love(Y,X),not(couple(X,Y)).
misunderstood(X,Y):-friend(Y,X),love(X,Y),not(friend(X,Y)).
possible_couple(X,Y):-friend(X,Y),love(X,Y),friend(Y,X).
possible_couple(X,Y):-possible_friend(X,Y),love(X,Y),possible_friend(X,Y).
possible_couple(X,Y):-friend(Y,X),possiblelove(X,Y).
possible_couple(X,Y):-possiblelove(X,Y),possiblelove(Y,X).
play(X,Y):-love(X,Y),love(X,Z),not(Y=Z).
realfriend(X,Y):-friend(X,Y),friend(Y,X).
turefriend(X,Y):-friend(X,Y),friend(Y,X),not(love(X,Y)),not(love(Y,X)),not(possiblelove(X,Y)),not(possiblelove(Y,X)).
uneqfriend(X,Y):-friend(X,Y),not(friend(Y,X)).
fakefriend(X,Y):-friend(X,Y),hate(Y,X).
dangerous_friend(X,Y):-friend(X,Y),love(X,Z),love(Z,Y),not(Y=Z).
dangerous_friend(X,Y):-friend(X,Y),love(X,Z),friend(Z,Y),not(Y=Z).
dangerous_friend(X,Y):-friend(X,Y),friend(X,Z),hate(Z,Y),not(Y=Z).
possible_dangerous_friend(X,Y):-friend(X,Y),possiblelove(X,Z),possiblelove(Z,Y),not(Y=Z).
possible_dangerous_friend(X,Y):-friend(X,Y),possiblelove(X,Z),friend(Z,Y),not(Y=Z).
possible_dangerous_friend(X,Y):-friend(X,Y),possiblelove(X,Z),loved(Z,Y),not(Y=Z).
possible_dangerous_friend(X,Y):-friend(X,Y),loved(X,Z),friend(Z,Y),not(Y=Z).
possible_dangerous_friend(X,Y):-friend(X,Y),loved(X,Z),loved(Z,Y),not(Y=Z).
possible_friend(X,Y):-friend(X,Z),friend(Z,Y),not(friend(X,Y)),not(X=Y).