# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:18 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{{:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
  {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
 {:Jos gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Maria gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
{:Jos gc:mother :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_23>}. 
{{{:Rita gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>. 
  {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} e:sequent {
 {:Rita gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Rita gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>} e:sequent {
{:Maria gc:daughter :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_25>}. 
{{{:Bart gc:childIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>. 
  {:Rita gc:spouseIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_29>} e:sequent {
 {:Bart gc:parent :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {:Bart gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>} e:sequent {
{:Rita gc:son :Bart} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_24>}. 
{{{:Bart gc:childIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_31>. 
  {:Rita gc:spouseIn :gd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_29>} e:sequent {
 {:Bart gc:parent :Rita} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
 {{{:Rita gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_11>. 
   {:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
   {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
    {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_33>. 
     {
      {:Rita log:notEqualTo :Jos} e:evidence <http://www.w3.org/2000/10/swap/log#kb>. 
      {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_17>. 
      {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
       {(:Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
      {{(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:item :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} e:sequent {
     {:Rita owl:differentFrom :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_73>}} e:sequent {
    {:Jos owl:differentFrom :Rita} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
   {:Rita owl:differentFrom :Jos} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_61>}} e:sequent {
  {:Rita gc:sibling :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
  {:Jos gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>} e:sequent {
 {:Rita gc:brother :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} e:sequent {
{:Bart gc:uncle :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}. 

# Proof found in 1804 steps (180219 steps/sec) using 1 engine (408 triples)
}.