# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:17 GMT
{
 (
 <http://www.agfa.com/w3c/euler/rdfs-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/gedcom-relations.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/owl-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/gedcom-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-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#>.
@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 nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/gedcom#gc19>. 
   {
    <http://www.agfa.com/w3c/euler/gedcom#gc5>. 
     {
      <http://www.agfa.com/w3c/euler/gedcom#gc1>. 
       {[iw:Variable "?C"] = :Bieke. 
        [iw:Variable "?F"] = :cd. 
        [iw:Variable "?C"] gc:childIn [iw:Variable "?F"]} =>
      {:Bieke gc:childIn :cd}. 
       {[iw:Variable "?P"] = :Caroline. 
        [iw:Variable "?F"] = :cd. 
        [iw:Variable "?P"] gc:spouseIn [iw:Variable "?F"]} =>
      {:Caroline gc:spouseIn :cd}. 
      [iw:Variable "?C"] = :Bieke. 
      [iw:Variable "?P"] = :Caroline. 
      [iw:Variable "?C"] gc:parent [iw:Variable "?P"]} =>
    {:Bieke gc:parent :Caroline}. 
     {[iw:Variable "?C"] = :Bieke. 
      [iw:Variable "?C"] gc:sex :F} =>
    {:Bieke gc:sex :F}. 
    [iw:Variable "?P"] = :Caroline. 
    [iw:Variable "?C"] = :Bieke. 
    [iw:Variable "?P"] gc:daughter [iw:Variable "?C"]} =>
  {:Caroline gc:daughter :Bieke}. 
   {
    <http://www.agfa.com/w3c/euler/gedcom#gc11>. 
     {[iw:Variable "?C"] = :Caroline. 
      [iw:Variable "?F"] = :dp. 
      [iw:Variable "?C"] gc:childIn [iw:Variable "?F"]} =>
    {:Caroline gc:childIn :dp}. 
     {[iw:Variable "?C2"] = :Jos. 
      [iw:Variable "?F"] = :dp. 
      [iw:Variable "?C2"] gc:childIn [iw:Variable "?F"]} =>
    {:Jos gc:childIn :dp}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl1s1>. 
      owl:differentFrom a owl:SymmetricProperty. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl6d1>. 
         {[iw:Variable "?L"] = _:6818393_2. 
          [iw:Variable "?X"] = :Jos. 
          [iw:Variable "?L"] rdf:first [iw:Variable "?X"]} =>
        {_:6818393_2 rdf:first :Jos}. 
         {[iw:Variable "?L"] = _:6818393_2. 
          [iw:Variable "?M"] = _:8347303_2. 
          [iw:Variable "?L"] rdf:rest [iw:Variable "?M"]} =>
        {_:6818393_2 rdf:rest _:8347303_2}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[iw:Variable "?S"] = _:8347303_2. 
            [iw:Variable "?B"] = _:2042379_2. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:8347303_2 rdf:rest _:2042379_2}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:2042379_2. 
              [iw:Variable "?B"] = _:81836_2. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:2042379_2 rdf:rest _:81836_2}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:81836_2. 
                [iw:Variable "?X"] = :Caroline. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:81836_2 rdf:first :Caroline}. 
              [iw:Variable "?B"] = _:81836_2. 
              [iw:Variable "?X"] = :Caroline. 
              [iw:Variable "?B"] ns:item [iw:Variable "?X"]} =>
            {_:81836_2 ns:item :Caroline}. 
            [iw:Variable "?B"] = _:2042379_2. 
            [iw:Variable "?X"] = :Caroline. 
            [iw:Variable "?B"] ns:item [iw:Variable "?X"]} =>
          {_:2042379_2 ns:item :Caroline}. 
          [iw:Variable "?M"] = _:8347303_2. 
          [iw:Variable "?Y"] = :Caroline. 
          [iw:Variable "?M"] ns:item [iw:Variable "?Y"]} =>
        {_:8347303_2 ns:item :Caroline}. 
         {[iw:Variable "?A"] = :dp. 
          [iw:Variable "?L"] = _:6818393_2. 
          [iw:Variable "?A"] owl:distinctMembers [iw:Variable "?L"]} =>
        {:dp owl:distinctMembers _:6818393_2}. 
        [iw:Variable "?S"] = :Jos. 
        [iw:Variable "?O"] = :Caroline. 
        [iw:Variable "?S"] owl:differentFrom [iw:Variable "?O"]} =>
      {:Jos owl:differentFrom :Caroline}. 
      [iw:Variable "?C"] = :Caroline. 
      [iw:Variable "?C2"] = :Jos. 
      [iw:Variable "?C"] owl:differentFrom [iw:Variable "?C2"]} =>
    {:Caroline owl:differentFrom :Jos}. 
    [iw:Variable "?P"] = :Caroline. 
    [iw:Variable "?S"] = :Jos. 
    [iw:Variable "?P"] gc:sibling [iw:Variable "?S"]} =>
  {:Caroline gc:sibling :Jos}. 
  [iw:Variable "_:X_5"] = :Bieke. 
  :Jos gc:niece [iw:Variable "_:X_5"]} =>
{:Jos gc:niece :Bieke}. 
 {
  <http://www.agfa.com/w3c/euler/gedcom#gc2>. 
   {
    <http://www.agfa.com/w3c/euler/gedcom#gc1>. 
     {[iw:Variable "?C"] = :Bieke. 
      [iw:Variable "?F"] = :cd. 
      [iw:Variable "?C"] gc:childIn [iw:Variable "?F"]} =>
    {:Bieke gc:childIn :cd}. 
     {[iw:Variable "?P"] = :Hendrik. 
      [iw:Variable "?F"] = :cd. 
      [iw:Variable "?P"] gc:spouseIn [iw:Variable "?F"]} =>
    {:Hendrik gc:spouseIn :cd}. 
    [iw:Variable "?C"] = :Bieke. 
    [iw:Variable "?P"] = :Hendrik. 
    [iw:Variable "?C"] gc:parent [iw:Variable "?P"]} =>
  {:Bieke gc:parent :Hendrik}. 
   {[iw:Variable "?P"] = :Hendrik. 
    [iw:Variable "?P"] gc:sex :M} =>
  {:Hendrik gc:sex :M}. 
  [iw:Variable "_:X_5"] = :Bieke. 
  [iw:Variable "_:Y_5"] = :Hendrik. 
  [iw:Variable "_:X_5"] gc:father [iw:Variable "_:Y_5"]} =>
{:Bieke gc:father :Hendrik}. 
 {
  <http://www.agfa.com/w3c/euler/gedcom#gc14>. 
   {[iw:Variable "?SP"] = :Hendrik. 
    [iw:Variable "?F"] = :cd. 
    [iw:Variable "?SP"] gc:spouseIn [iw:Variable "?F"]} =>
  {:Hendrik gc:spouseIn :cd}. 
   {[iw:Variable "?SP2"] = :Caroline. 
    [iw:Variable "?F"] = :cd. 
    [iw:Variable "?SP2"] gc:spouseIn [iw:Variable "?F"]} =>
  {:Caroline gc:spouseIn :cd}. 
   {[iw:Variable "?SP"] = :Hendrik. 
    [iw:Variable "?SP2"] = :Caroline. 
    [iw:Variable "?SP"] owl:differentFrom [iw:Variable "?SP2"]} =>
  {:Hendrik owl:differentFrom :Caroline}. 
  [iw:Variable "_:Y_5"] = :Hendrik. 
  [iw:Variable "_:Y_5"] gc:spouse :Caroline} =>
{:Hendrik gc:spouse :Caroline}. 
# Proof found for http://www.agfa.com/w3c/euler/gedcom-query.n3 in 470530 steps (85737 steps/sec) using 1 engine
}.