# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:20:23 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/gedcom-relations-test.n3
# given [http://www.agfa.com/w3c/euler/gedcom-relations.n3]

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom#>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.

{{:child gc:parent :parent.:parent gc:sex
      :M} log:implies
      {:child gc:father
          :parent}} log:forAll :child, :parent.
{{:child gc:parent :parent.:parent gc:sex
      :F} log:implies
      {:child gc:mother
          :parent}} log:forAll :child, :parent.
{{:child gc:parent :parent} log:implies {:parent gc:child
      :child}} log:forAll :child, :parent.
{{:child gc:parent :parent.:child gc:sex
      :M} log:implies
      {:parent gc:son
          :child}} log:forAll :child, :parent.
{{:child gc:parent :parent.:child gc:sex
      :F} log:implies
      {:parent gc:daughter
          :child}} log:forAll :child, :parent.
{{:child gc:parent :parent.:parent gc:parent
      :grandparent} log:implies
      {:child gc:grandparent
          :grandparent}} log:forAll :child, :parent, :grandparent.
{{:child gc:grandparent :grandparent.:grandparent gc:sex
      :M} log:implies
      {:child gc:grandfather
          :grandparent}} log:forAll :child, :grandparent.
{{:child gc:grandparent :grandparent.:grandparent gc:sex
      :F} log:implies
      {:child gc:grandmother
          :grandparent}} log:forAll :child, :grandparent.
{{:child gc:grandparent :grandparent} log:implies {:grandparent gc:grandchild
      :child}} log:forAll :child, :grandparent.
{{:child gc:grandparent :grandparent.:child gc:sex
      :M} log:implies
      {:grandparent gc:grandson
          :child}} log:forAll :child, :grandparent.
{{:child gc:grandparent :grandparent.:child gc:sex
      :F} log:implies
      {:grandparent gc:granddaughter
          :child}} log:forAll :child, :grandparent.
{{:child1 gc:childIn :family.:child2 gc:childIn
      :family.:child1 ont:differentIndividualFrom :child2} log:implies {:child1 gc:sibling
          :child2}} log:forAll :child1, :family, :child2.
{{:child2 gc:sibling :child1} log:implies {:child1 gc:sibling
      :child2}} log:forAll :child2, :child1.
{{:child gc:sibling :sibling.:sibling gc:sex
      :M} log:implies
      {:child gc:brother
          :sibling}} log:forAll :child, :sibling.
{{:child gc:sibling :sibling.:sibling gc:sex
      :F} log:implies
      {:child gc:sister
          :sibling}} log:forAll :child, :sibling.
{{:spouse1 gc:spouseIn :family.:spouse2 gc:spouseIn
      :family.:spouse1 ont:differentIndividualFrom :spouse2} log:implies {:spouse1 gc:spouse
          :spouse2}} log:forAll :spouse1, :family, :spouse2.
{{:spouse2 gc:spouse :spouse1} log:implies {:spouse1 gc:spouse
      :spouse2}} log:forAll :spouse2, :spouse1.
{{:spouse gc:spouse :husband.:husband gc:sex
      :M} log:implies
      {:spouse gc:husband
          :husband}} log:forAll :spouse, :husband.
{{:spouse gc:spouse :wife.:wife gc:sex
      :F} log:implies
      {:spouse gc:wife
          :wife}} log:forAll :spouse, :wife.
{{:child gc:parent :parent.:parent gc:brother
      :uncle} log:implies
      {:child gc:uncle
          :uncle}} log:forAll :child, :parent, :uncle.
{{:child gc:aunt :aunt.:aunt gc:spouse
      :uncle} log:implies
      {:child gc:uncle
          :uncle}} log:forAll :child, :aunt, :uncle.
{{:child gc:parent :parent.:parent gc:sister
      :aunt} log:implies
      {:child gc:aunt
          :aunt}} log:forAll :child, :parent, :aunt.
{{:child gc:uncle :uncle.:uncle gc:spouse
      :aunt} log:implies
      {:child gc:aunt
          :aunt}} log:forAll :child, :uncle, :aunt.
{{:parent gc:daughter :child.:parent gc:sibling
      :sibling} log:implies
      {:sibling gc:niece
          :child}} log:forAll :parent, :child, :sibling.
{{:parent gc:son :child.:parent gc:sibling
      :sibling} log:implies
      {:sibling gc:nephew
          :child}} log:forAll :parent, :child, :sibling.
{{:cousin1 gc:parent :sibling1.:cousin2 gc:parent
      :sibling2.:sibling1 gc:sibling :sibling2} log:implies {:cousin1 gc:firstCousin
          :cousin2}} log:forAll :cousin1, :sibling1, :cousin2, :sibling2.
{{:child gc:parent :parent} log:implies {:child gc:ancestor
      :parent}} log:forAll :child, :parent.
{{:child gc:parent :parent.:parent gc:ancestor
      :ancestor} log:implies
      {:child gc:ancestor
          :ancestor}} log:forAll :child, :parent, :ancestor.
{{:child gc:ancestor :ancestor} log:implies {:ancestor gc:descendent
      :child}} log:forAll :child, :ancestor.
{{:sibling1 gc:sibling :sibling2.:sibling1 gc:descendent
      :descendent1.:sibling2 gc:descendent :descendent2} log:implies {:descendent1 gc:cousin
          :descendent2}} log:forAll :sibling1, :sibling2, :descendent1, :descendent2.
{{:parent gc:spouseIn :family.:childX gc:childIn
      :family} log:implies
      {:childX gc:parent
          :parent}} log:forAll :parent, :family, :childX.

# Proof found for http://www.agfa.com/w3c/euler/gedcom-relations-test.n3 in 496 steps (21385 steps/sec)