# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:17 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-facts.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/rpo-rules.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-filter.n3>!log:semantics)!log:conjunction =>
{
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@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 owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:17 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-facts.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-relations.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/rpo-rules.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/gedcom-filter.n3>!log:semantics)!log:conjunction =>
{
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@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 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>} => {
  {: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>} => {
 {: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>} => {
  {: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>} => {
 {: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>} => {
  {: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>} => {
 {: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>} => {
  {: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 a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
     {{: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) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_37>}. 
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {(: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>. 
       {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
      {:Rita list:in (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_35>}} => {
     {:Jos owl:differentFrom :Rita} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_32>}} => {
    {:Rita owl:differentFrom :Jos} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
   {: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>} => {
  {:Rita gc:brother :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} => {
 {:Bart gc:uncle :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}} => {
{:Jos :testRelationship :Bart} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/log-rules#kb>}. 

{{{{: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>} => {
  {: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>} => {
 {:Jos gc:mother :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_23>}. 
 {{{:Greta gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Greta gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {:Greta gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>} => {
 {:Maria gc:daughter :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_25>}. 
 {{{:Tom gc:childIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>. 
   {:Greta gc:spouseIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_60>} => {
  {:Tom gc:parent :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {:Tom gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>} => {
 {:Greta gc:son :Tom} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_24>}. 
 {{{:Tom gc:childIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>. 
   {:Greta gc:spouseIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_60>} => {
  {:Tom gc:parent :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {{{:Greta gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>. 
    {:Jos gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_10>. 
    {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
     {{: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) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_37>}. 
      {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {(: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:rest (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {(:Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{(:Caroline :Dirk :Greta) rdf:rest (:Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {(:Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {{(:Dirk :Greta) rdf:rest (:Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {(:Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {{(:Greta) rdf:first :Greta} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
           {(:Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
          {:Greta list:in (:Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_35>}} => {
         {:Greta list:in (:Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
        {:Greta list:in (:Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
       {:Greta list:in (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
      {:Greta list:in (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
     {:Jos owl:differentFrom :Greta} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_32>}} => {
    {:Greta owl:differentFrom :Jos} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
   {:Greta 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>} => {
  {:Greta gc:brother :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} => {
 {:Tom gc:uncle :Jos} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}} => {
{:Jos :testRelationship :Tom} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/log-rules#kb>}. 

{{{{:Geert gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_12>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Geert 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>} => {
 {:Geert 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>} => {
  {: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>} => {
 {: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>} => {
  {: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>} => {
 {: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>} => {
  {: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>. 
    {:Geert gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_12>. 
    {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
     {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
      {{: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>. 
        {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
        {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_37>}} => {
       {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}. 
       {(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Geert :Caroline :Dirk :Greta) rdf:first :Geert} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {(:Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
       {:Geert list:in (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_35>}} => {
      {:Rita owl:differentFrom :Geert} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_32>}} => {
     {:Geert owl:differentFrom :Rita} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
    {:Rita owl:differentFrom :Geert} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
   {:Rita gc:sibling :Geert} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
   {:Geert gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_12>} => {
  {:Rita gc:brother :Geert} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} => {
 {:Bart gc:uncle :Geert} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}} => {
{:Geert :testRelationship :Bart} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/log-rules#kb>}. 

{{{{:Geert gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_12>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Geert 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>} => {
 {:Geert gc:mother :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_23>}. 
 {{{:Greta gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Greta gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {:Greta gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>} => {
 {:Maria gc:daughter :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_25>}. 
 {{{:Tom gc:childIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>. 
   {:Greta gc:spouseIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_60>} => {
  {:Tom gc:parent :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {:Tom gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>} => {
 {:Greta gc:son :Tom} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_24>}. 
 {{{:Tom gc:childIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>. 
   {:Greta gc:spouseIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_60>} => {
  {:Tom gc:parent :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {{{:Greta gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>. 
    {:Geert gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_12>. 
    {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
     {{: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>. 
       {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{(:Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
        {(:Geert :Caroline :Dirk :Greta) p0:subListOf (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_37>}} => {
       {(:Geert :Caroline :Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}} => {
      {(:Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}. 
      {(:Geert :Caroline :Dirk :Greta) rdf:first :Geert} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {{(:Caroline :Dirk :Greta) rdf:rest (:Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {(:Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {{(:Dirk :Greta) rdf:rest (:Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {(:Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {{(:Greta) rdf:first :Greta} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
           {(:Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
          {:Greta list:in (:Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_35>}} => {
         {:Greta list:in (:Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
        {:Greta list:in (:Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
     {:Geert owl:differentFrom :Greta} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_32>}} => {
    {:Greta owl:differentFrom :Geert} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
   {:Greta gc:sibling :Geert} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
   {:Geert gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_12>} => {
  {:Greta gc:brother :Geert} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} => {
 {:Tom gc:uncle :Geert} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}} => {
{:Geert :testRelationship :Tom} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/log-rules#kb>}. 

{{{{:Dirk gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_14>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Dirk 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>} => {
 {:Dirk 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>} => {
  {: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>} => {
 {: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>} => {
  {: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>} => {
 {: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>} => {
  {: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>. 
    {:Dirk gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_14>. 
    {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
     {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
      {{: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>. 
        {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
        {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_37>}} => {
       {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}. 
       {(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {(:Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{(:Caroline :Dirk :Greta) rdf:rest (:Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {(:Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {{(:Dirk :Greta) rdf:first :Dirk} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {(:Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
         {:Dirk list:in (:Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_35>}} => {
        {:Dirk list:in (:Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
       {:Dirk list:in (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_36>}} => {
      {:Rita owl:differentFrom :Dirk} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_32>}} => {
     {:Dirk owl:differentFrom :Rita} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
    {:Rita owl:differentFrom :Dirk} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
   {:Rita gc:sibling :Dirk} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
   {:Dirk gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_14>} => {
  {:Rita gc:brother :Dirk} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} => {
 {:Bart gc:uncle :Dirk} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}} => {
{:Dirk :testRelationship :Bart} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/log-rules#kb>}. 

{{{{:Dirk gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_14>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Dirk 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>} => {
 {:Dirk gc:mother :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_23>}. 
 {{{:Greta gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>. 
   {:Maria gc:spouseIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_9>} => {
  {:Greta gc:parent :Maria} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {:Greta gc:sex gc:Female} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>} => {
 {:Maria gc:daughter :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_25>}. 
 {{{:Tom gc:childIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>. 
   {:Greta gc:spouseIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_60>} => {
  {:Tom gc:parent :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {:Tom gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>} => {
 {:Greta gc:son :Tom} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_24>}. 
 {{{:Tom gc:childIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_62>. 
   {:Greta gc:spouseIn :sd} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_60>} => {
  {:Tom gc:parent :Greta} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_21>}. 
  {{{:Greta gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_15>. 
    {:Dirk gc:childIn :dp} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_14>. 
    {{owl:differentFrom a owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_17>. 
     {{: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>. 
       {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {(:Geert :Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
         {{(:Caroline :Dirk :Greta) rdf:rest (:Dirk :Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {(:Caroline :Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
          {{(:Dirk :Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
          {(:Dirk :Greta) p0:subListOf (:Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_37>}} => {
         {(:Dirk :Greta) p0:subListOf (:Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}} => {
        {(:Dirk :Greta) p0:subListOf (:Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}} => {
       {(:Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}} => {
      {(:Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_38>}. 
      {(:Dirk :Greta) rdf:first :Dirk} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {(:Dirk :Greta) rdf:rest (:Greta)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {{(:Greta) rdf:first :Greta} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
           {(:Greta) a rdf:List} e:evidence <http://www.w3.org/2002/07/owl#kb>} => {
          {:Greta list:in (:Greta)} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_35>}} => {
     {:Dirk owl:differentFrom :Greta} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_32>}} => {
    {:Greta owl:differentFrom :Dirk} e:evidence <http://www.agfa.com/w3c/euler/rpo-rules.n3#_27>}} => {
   {:Greta gc:sibling :Dirk} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_33>}. 
   {:Dirk gc:sex gc:Male} e:evidence <http://www.agfa.com/w3c/euler/gedcom-facts.n3#_14>} => {
  {:Greta gc:brother :Dirk} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_34>}} => {
 {:Tom gc:uncle :Dirk} e:evidence <http://www.agfa.com/w3c/euler/gedcom-relations.n3#_41>}} => {
{:Dirk :testRelationship :Tom} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/log-rules#kb>}. 

# Proof found in 655957 steps (196688 steps/sec) using 1 engine (162 triples)
}.


# Proof found in 655958 steps (194357 steps/sec) using 1 engine (162 triples)
}.