:- aunt_or_uncle_of(Y,X), child_in_law_of(U,V).
:- aunt_or_uncle_of(Y,X), child_of(U,V).
:- aunt_or_uncle_of(Y,X), grandchild_of(U,V).
:- aunt_or_uncle_of(Y,X), grandparent_of(U,V).
:- aunt_or_uncle_of(Y,X), nibling_of(U,V).
:- aunt_or_uncle_of(Y,X), parent_in_law_of(U,V).
:- aunt_or_uncle_of(Y,X), parent_of(U,V).
:- aunt_or_uncle_of(Y,X), sibling_in_law_of(U,V).
:- aunt_or_uncle_of(Y,X), sibling_of(U,V).
:- aunt_or_uncle_of(Y,X), spouse_of(U,V).
:- child_in_law_of(Y,X), child_of(U,V).
:- child_in_law_of(Y,X), grandchild_of(U,V).
:- child_in_law_of(Y,X), grandparent_of(U,V).
:- child_in_law_of(Y,X), nibling_of(U,V).
:- child_in_law_of(Y,X), parent_in_law_of(U,V).
:- child_in_law_of(Y,X), parent_of(U,V).
:- child_in_law_of(Y,X), sibling_in_law_of(U,V).
:- child_in_law_of(Y,X), sibling_of(U,V).
:- child_in_law_of(Y,X), spouse_of(U,V).
:- child_of(Y,X), grandchild_of(U,V).
:- child_of(Y,X), grandparent_of(U,V).
:- child_of(Y,X), nibling_of(U,V).
:- child_of(Y,X), parent_in_law_of(U,V).
:- child_of(Y,X), parent_of(U,V).
:- child_of(Y,X), sibling_in_law_of(U,V).
:- child_of(Y,X), sibling_of(U,V).
:- child_of(Y,X), spouse_of(U,V).
:- grandchild_of(Y,X), grandparent_of(U,V).
:- grandchild_of(Y,X), nibling_of(U,V).
:- grandchild_of(Y,X), parent_in_law_of(U,V).
:- grandchild_of(Y,X), parent_of(U,V).
:- grandchild_of(Y,X), sibling_in_law_of(U,V).
:- grandchild_of(Y,X), sibling_of(U,V).
:- grandchild_of(Y,X), spouse_of(U,V).
:- grandparent_of(Y,X), nibling_of(U,V).
:- grandparent_of(Y,X), parent_in_law_of(U,V).
:- grandparent_of(Y,X), parent_of(U,V).
:- grandparent_of(Y,X), sibling_in_law_of(U,V).
:- grandparent_of(Y,X), sibling_of(U,V).
:- grandparent_of(Y,X), spouse_of(U,V).
:- nibling_of(Y,X), parent_in_law_of(U,V).
:- nibling_of(Y,X), parent_of(U,V).
:- nibling_of(Y,X), sibling_in_law_of(U,V).
:- nibling_of(Y,X), sibling_of(U,V).
:- nibling_of(Y,X), spouse_of(U,V).
:- parent_in_law_of(Y,X), parent_of(U,V).
:- parent_in_law_of(Y,X), sibling_in_law_of(U,V).
:- parent_in_law_of(Y,X), sibling_of(U,V).
:- parent_in_law_of(Y,X), spouse_of(U,V).
:- parent_of(Y,X), sibling_in_law_of(U,V).
:- parent_of(Y,X), sibling_of(U,V).
:- parent_of(Y,X), spouse_of(U,V).
:- sibling_in_law_of(Y,X), sibling_of(U,V).
:- sibling_in_law_of(Y,X), spouse_of(U,V).
:- sibling_of(Y,X), spouse_of(U,V).
:- is_person(X), is_place(U).
:- is_person(X), is_gender(U).
:- is_person(X), is_agegroup(U).
:- is_person(X), is_property(U).
:- is_place(X), is_gender(U).
:- is_place(X), is_agegroup(U).
:- is_place(X), is_property(U).
:- is_gender(X), is_agegroup(U).
:- is_gender(X), is_property(U).
:- is_agegroup(X), is_property(U).
:- belongs_to_group(X,female), belongs_to_group(Y,male).
:- living_in(X, V), living_in(Y, U), U != V.
:- is_person(X), is_place(U).
:- is_person(X), is_gender(U).
:- is_place(X), is_gender(U).
:- parent_of(U,X), parent_of(V,Y), parent_of(W,Z), U != V, W != V, U != W.
:- parent_of(U,X), parent_of(V,Z), belongs_to_group(U,male), belongs_to_group(V,male).
:- parent_of(U,X), parent_of(V,Z), belongs_to_group(U,female), belongs_to_group(V,female).
:- grandparent_of(A,X), grandparent_of(B,X), grandparent_of(C,Z), grandparent_of(D,Z), grandparent_of(E,Z),  A != B, A != C, A != D, A != E, B != C, B != D, B != E, C != D, C != E, D != E.
:- spouse_of(X,U), spouse_of(Z,V), U != V.
:- maternal_grandparent_of(X,Z) , paternal_grandparent_of(X,Y).
:- maternal_aunt_or_uncle_of(X,Z), paternal_aunt_or_uncle_of(X,Y).
:- belongs_to(X, underage), spouse_of(Z,Y).
:- belongs_to(X, underage), parent_of(Z,Y).
:- belongs_to(X, underage), grandparent_of(Z,Y).
:- colleague_of(X,Y), belongs_to(Z, underage).
:- has_property(Y, no_brothers), brother_of(X,Z).
:- has_property(Y, no_sisters), sister_of(X,Z).
:- has_property(Y, no_daughters), daughter_of(X,Z).
:- has_property(Y, no_sons), son_of(X,Z).
:- sibling_in_law_of(X,Y), has_property(Z, no_siblings) , has_property(X, no_siblings).
:- aunt_or_uncle_of(X,Y), has_property(Z, no_siblings).
:- parent_of(X,Y), has_property(Z, no_children).
:- grandparent_of(X,Y), has_property(Z, no_children).
:- parent_in_law_of(X,Y), has_property(Z, no_children).