# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:36 GMT+01:00 2001 # for query http://www.agfa.com/w3c/euler/gedcom-query.n3 # given [http://www.agfa.com/w3c/euler/gedcom-relations.n3, http://www.agfa.com/w3c/euler/gedcom-facts.n3] @prefix log: . @prefix : . @prefix ont: . @prefix gc: . {{:Jos gc:childIn :dp. :Rita gc:childIn :dp. :Jos ont:differentIndividualFrom :Rita} log:implies {:Jos gc:sibling :Rita}. {{{: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 gc:childIn :gd. :Rita gc:spouseIn :gd} log:implies {:Ann gc:parent :Rita}} log:implies {:Ann gc:ancestor :Rita}} log:implies {:Rita gc:descendent :Ann}} log:implies {:Karel gc:cousin :Ann}. {{:Jos gc:childIn :dp. :Rita gc:childIn :dp. :Jos ont:differentIndividualFrom :Rita} log:implies {:Jos gc:sibling :Rita}. {{{: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}. {{{:Bart gc:childIn :gd. :Rita gc:spouseIn :gd} log:implies {:Bart gc:parent :Rita}} log:implies {:Bart gc:ancestor :Rita}} log:implies {:Rita gc:descendent :Bart}} log:implies {:Karel gc:cousin :Bart}. {{:Jos gc:childIn :dp. :Geert gc:childIn :dp. :Jos ont:differentIndividualFrom :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}. {{:Jos gc:childIn :dp. :Geert gc:childIn :dp. :Jos ont:differentIndividualFrom :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}. {{{:Valerie gc:childIn :dv. :Geert gc:spouseIn :dv} log:implies {:Valerie gc:parent :Geert}} log:implies {:Valerie gc:ancestor :Geert}} log:implies {:Geert gc:descendent :Valerie}} log:implies {:Karel gc:cousin :Valerie}. {{:Jos gc:childIn :dp. :Geert gc:childIn :dp. :Jos ont:differentIndividualFrom :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}. {{{:Stephanie gc:childIn :dv. :Geert gc:spouseIn :dv} log:implies {:Stephanie gc:parent :Geert}} log:implies {:Stephanie gc:ancestor :Geert}} log:implies {:Geert gc:descendent :Stephanie}} log:implies {:Karel gc:cousin :Stephanie}. {{:Jos gc:childIn :dp. :Geert gc:childIn :dp. :Jos ont:differentIndividualFrom :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}. {{{:Louise gc:childIn :dv. :Geert gc:spouseIn :dv} log:implies {:Louise gc:parent :Geert}} log:implies {:Louise gc:ancestor :Geert}} log:implies {:Geert gc:descendent :Louise}} log:implies {:Karel gc:cousin :Louise}. {{:Jos gc:childIn :dp. :Caroline gc:childIn :dp. :Jos ont:differentIndividualFrom :Caroline} log:implies {:Jos gc:sibling :Caroline}. {{{: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}. {{{:Bieke gc:childIn :cd. :Caroline gc:spouseIn :cd} log:implies {:Bieke gc:parent :Caroline}} log:implies {:Bieke gc:ancestor :Caroline}} log:implies {:Caroline gc:descendent :Bieke}} log:implies {:Karel gc:cousin :Bieke}. {{:Jos gc:childIn :dp. :Caroline gc:childIn :dp. :Jos ont:differentIndividualFrom :Caroline} log:implies {:Jos gc:sibling :Caroline}. {{{: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}. {{{:Tineke gc:childIn :cd. :Caroline gc:spouseIn :cd} log:implies {:Tineke gc:parent :Caroline}} log:implies {:Tineke gc:ancestor :Caroline}} log:implies {:Caroline gc:descendent :Tineke}} log:implies {:Karel gc:cousin :Tineke}. {{:Jos gc:childIn :dp. :Dirk gc:childIn :dp. :Jos ont:differentIndividualFrom :Dirk} log:implies {:Jos gc:sibling :Dirk}. {{{: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}. {{{:Frederik gc:childIn :dc. :Dirk gc:spouseIn :dc} log:implies {:Frederik gc:parent :Dirk}} log:implies {:Frederik gc:ancestor :Dirk}} log:implies {:Dirk gc:descendent :Frederik}} log:implies {:Karel gc:cousin :Frederik}. {{:Jos gc:childIn :dp. :Dirk gc:childIn :dp. :Jos ont:differentIndividualFrom :Dirk} log:implies {:Jos gc:sibling :Dirk}. {{{: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}. {{{:Stefanie gc:childIn :dc. :Dirk gc:spouseIn :dc} log:implies {:Stefanie gc:parent :Dirk}} log:implies {:Stefanie gc:ancestor :Dirk}} log:implies {:Dirk gc:descendent :Stefanie}} log:implies {:Karel gc:cousin :Stefanie}. {{:Jos gc:childIn :dp. :Dirk gc:childIn :dp. :Jos ont:differentIndividualFrom :Dirk} log:implies {:Jos gc:sibling :Dirk}. {{{: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}. {{{:Stijn gc:childIn :dc. :Dirk gc:spouseIn :dc} log:implies {:Stijn gc:parent :Dirk}} log:implies {:Stijn gc:ancestor :Dirk}} log:implies {:Dirk gc:descendent :Stijn}} log:implies {:Karel gc:cousin :Stijn}. {{:Jos gc:childIn :dp. :Greta gc:childIn :dp. :Jos ont:differentIndividualFrom :Greta} log:implies {:Jos gc:sibling :Greta}. {{{: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}. {{{:Lien gc:childIn :sd. :Greta gc:spouseIn :sd} log:implies {:Lien gc:parent :Greta}} log:implies {:Lien gc:ancestor :Greta}} log:implies {:Greta gc:descendent :Lien}} log:implies {:Karel gc:cousin :Lien}. {{:Jos gc:childIn :dp. :Greta gc:childIn :dp. :Jos ont:differentIndividualFrom :Greta} log:implies {:Jos gc:sibling :Greta}. {{{: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}. {{{:Tom gc:childIn :sd. :Greta gc:spouseIn :sd} log:implies {:Tom gc:parent :Greta}} log:implies {:Tom gc:ancestor :Greta}} log:implies {:Greta gc:descendent :Tom}} log:implies {:Karel gc:cousin :Tom}. {{{:Rita gc:childIn :dp. :Jos gc:childIn :dp. :Rita ont:differentIndividualFrom :Jos} log:implies {:Rita gc:sibling :Jos}} log:implies {:Jos gc:sibling :Rita}. {{{: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 gc:childIn :gd. :Rita gc:spouseIn :gd} log:implies {:Ann gc:parent :Rita}} log:implies {:Ann gc:ancestor :Rita}} log:implies {:Rita gc:descendent :Ann}} log:implies {:Karel gc:cousin :Ann}. {{{:Rita gc:childIn :dp. :Jos gc:childIn :dp. :Rita ont:differentIndividualFrom :Jos} log:implies {:Rita gc:sibling :Jos}} log:implies {:Jos gc:sibling :Rita}. {{{: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}. {{{:Bart gc:childIn :gd. :Rita gc:spouseIn :gd} log:implies {:Bart gc:parent :Rita}} log:implies {:Bart gc:ancestor :Rita}} log:implies {:Rita gc:descendent :Bart}} log:implies {:Karel gc:cousin :Bart}. {{{:Geert gc:childIn :dp. :Jos gc:childIn :dp. :Geert ont:differentIndividualFrom :Jos} log:implies {:Geert gc:sibling :Jos}} 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}. {{{:Geert gc:childIn :dp. :Jos gc:childIn :dp. :Geert ont:differentIndividualFrom :Jos} log:implies {:Geert gc:sibling :Jos}} 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}. {{{:Valerie gc:childIn :dv. :Geert gc:spouseIn :dv} log:implies {:Valerie gc:parent :Geert}} log:implies {:Valerie gc:ancestor :Geert}} log:implies {:Geert gc:descendent :Valerie}} log:implies {:Karel gc:cousin :Valerie}. {{{:Geert gc:childIn :dp. :Jos gc:childIn :dp. :Geert ont:differentIndividualFrom :Jos} log:implies {:Geert gc:sibling :Jos}} 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}. {{{:Stephanie gc:childIn :dv. :Geert gc:spouseIn :dv} log:implies {:Stephanie gc:parent :Geert}} log:implies {:Stephanie gc:ancestor :Geert}} log:implies {:Geert gc:descendent :Stephanie}} log:implies {:Karel gc:cousin :Stephanie}. {{{:Geert gc:childIn :dp. :Jos gc:childIn :dp. :Geert ont:differentIndividualFrom :Jos} log:implies {:Geert gc:sibling :Jos}} 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}. {{{:Louise gc:childIn :dv. :Geert gc:spouseIn :dv} log:implies {:Louise gc:parent :Geert}} log:implies {:Louise gc:ancestor :Geert}} log:implies {:Geert gc:descendent :Louise}} log:implies {:Karel gc:cousin :Louise}. {{{:Caroline gc:childIn :dp. :Jos gc:childIn :dp. :Caroline ont:differentIndividualFrom :Jos} log:implies {:Caroline gc:sibling :Jos}} log:implies {:Jos gc:sibling :Caroline}. {{{: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}. {{{:Bieke gc:childIn :cd. :Caroline gc:spouseIn :cd} log:implies {:Bieke gc:parent :Caroline}} log:implies {:Bieke gc:ancestor :Caroline}} log:implies {:Caroline gc:descendent :Bieke}} log:implies {:Karel gc:cousin :Bieke}. {{{:Caroline gc:childIn :dp. :Jos gc:childIn :dp. :Caroline ont:differentIndividualFrom :Jos} log:implies {:Caroline gc:sibling :Jos}} log:implies {:Jos gc:sibling :Caroline}. {{{: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}. {{{:Tineke gc:childIn :cd. :Caroline gc:spouseIn :cd} log:implies {:Tineke gc:parent :Caroline}} log:implies {:Tineke gc:ancestor :Caroline}} log:implies {:Caroline gc:descendent :Tineke}} log:implies {:Karel gc:cousin :Tineke}. {{{:Dirk gc:childIn :dp. :Jos gc:childIn :dp. :Dirk ont:differentIndividualFrom :Jos} log:implies {:Dirk gc:sibling :Jos}} log:implies {:Jos gc:sibling :Dirk}. {{{: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}. {{{:Frederik gc:childIn :dc. :Dirk gc:spouseIn :dc} log:implies {:Frederik gc:parent :Dirk}} log:implies {:Frederik gc:ancestor :Dirk}} log:implies {:Dirk gc:descendent :Frederik}} log:implies {:Karel gc:cousin :Frederik}. {{{:Dirk gc:childIn :dp. :Jos gc:childIn :dp. :Dirk ont:differentIndividualFrom :Jos} log:implies {:Dirk gc:sibling :Jos}} log:implies {:Jos gc:sibling :Dirk}. {{{: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}. {{{:Stefanie gc:childIn :dc. :Dirk gc:spouseIn :dc} log:implies {:Stefanie gc:parent :Dirk}} log:implies {:Stefanie gc:ancestor :Dirk}} log:implies {:Dirk gc:descendent :Stefanie}} log:implies {:Karel gc:cousin :Stefanie}. {{{:Dirk gc:childIn :dp. :Jos gc:childIn :dp. :Dirk ont:differentIndividualFrom :Jos} log:implies {:Dirk gc:sibling :Jos}} log:implies {:Jos gc:sibling :Dirk}. {{{: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}. {{{:Stijn gc:childIn :dc. :Dirk gc:spouseIn :dc} log:implies {:Stijn gc:parent :Dirk}} log:implies {:Stijn gc:ancestor :Dirk}} log:implies {:Dirk gc:descendent :Stijn}} log:implies {:Karel gc:cousin :Stijn}. {{{:Greta gc:childIn :dp. :Jos gc:childIn :dp. :Greta ont:differentIndividualFrom :Jos} log:implies {:Greta gc:sibling :Jos}} log:implies {:Jos gc:sibling :Greta}. {{{: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}. {{{:Lien gc:childIn :sd. :Greta gc:spouseIn :sd} log:implies {:Lien gc:parent :Greta}} log:implies {:Lien gc:ancestor :Greta}} log:implies {:Greta gc:descendent :Lien}} log:implies {:Karel gc:cousin :Lien}. {{{:Greta gc:childIn :dp. :Jos gc:childIn :dp. :Greta ont:differentIndividualFrom :Jos} log:implies {:Greta gc:sibling :Jos}} log:implies {:Jos gc:sibling :Greta}. {{{: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}. {{{:Tom gc:childIn :sd. :Greta gc:spouseIn :sd} log:implies {:Tom gc:parent :Greta}} log:implies {:Tom gc:ancestor :Greta}} log:implies {:Greta gc:descendent :Tom}} log:implies {:Karel gc:cousin :Tom}. # Proof found for http://www.agfa.com/w3c/euler/gedcom-query.n3 in 87495 steps (69899 steps/sec)