# Generated with http://www.agfa.com/w3c/euler/#R30060 on 5 Jun 2002 22:13:53 GMT
# for query http://www.agfa.com/w3c/euler/gedcom-query.n3
# given {http://www.agfa.com/w3c/euler/gedcom-facts.n3=[], http://users.skynet.be/jdroo/euler/gedcom-relations-test.n3=[]}

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

 {{:Jos gc:childIn :dp.
    :Geert gc:childIn :dp.
    :Jos log:notEqualTo :Geert} log:implies
  {:Jos gc:sibling :Geert}.
   {{{:Karel gc:childIn :dt.
        :Jos gc:spouseIn :dt} log:implies
      {:Karel gc:parent :Jos}} log:implies
    {:Karel gc:ancestor :Jos}} log:implies
  {:Jos gc:descendent :Karel}.
   {{{:Ann_Sophie gc:childIn :dv.
        :Geert gc:spouseIn :dv} log:implies
      {:Ann_Sophie gc:parent :Geert}} log:implies
    {:Ann_Sophie gc:ancestor :Geert}} log:implies
  {:Geert gc:descendent :Ann_Sophie}} log:implies
{:Karel gc:cousin :Ann_Sophie}.
 {{:Karel gc:childIn :dt.
    :Jos gc:spouseIn :dt} log:implies
  {:Karel gc:parent :Jos}.
   {{:Jos gc:childIn :dp.
      :Dirk gc:childIn :dp.
      :Jos log:notEqualTo :Dirk} log:implies
    {:Jos gc:sibling :Dirk}.
    :Dirk :gender :M} log:implies
  {:Jos gc:brother :Dirk}} log:implies
{:Karel gc:uncle :Dirk}.
 {{:Ann_Sophie gc:childIn :dv.
    :Geert gc:spouseIn :dv} log:implies
  {:Ann_Sophie gc:parent :Geert}.
  :Geert :gender :M} log:implies
{:Ann_Sophie gc:father :Geert}.
 {{:Ann_Sophie gc:childIn :dv.
    :Geert gc:spouseIn :dv} log:implies
  {:Ann_Sophie gc:parent :Geert}.
   {{:Geert gc:childIn :dp.
      :Dirk gc:childIn :dp.
      :Geert log:notEqualTo :Dirk} log:implies
    {:Geert gc:sibling :Dirk}.
    :Dirk :gender :M} log:implies
  {:Geert gc:brother :Dirk}} log:implies
{:Ann_Sophie gc:uncle :Dirk}.

# Proof found for http://www.agfa.com/w3c/euler/gedcom-query.n3 in 98721 steps (189847 steps/sec)