# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:27 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/owl-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/test.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/test-test.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 foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/test#>.
@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#>.

:a :b :c. 
:a :d :e. 
:f :g :i. 
:a :b :c. 
:a :d :f. 
:a :b :c. 
:a :b :d. 
:a :b :e. 
 {[iw:Variable "_:6677187_4"] = _:7259666_1. 
  [iw:Variable "_:6677187_4"] :c :d} =>
{_:7259666_1 :c :d}. 
 {[iw:Variable "_:6677187_4"] = _:7259666_1. 
  [iw:Variable "_:6677187_4"] :a :b} =>
{_:7259666_1 :a :b}. 
 {[iw:Variable "_:694575_4"] = _:905719_1. 
  :a :b [iw:Variable "_:694575_4"]} =>
{:a :b _:905719_1}. 
 {[iw:Variable "_:694575_4"] = _:905719_1. 
  [iw:Variable "_:694575_4"] :c :d} =>
{_:905719_1 :c :d}. 
:b :e :f. 
:c :e :f. 
 {[iw:Variable "_:5184781_4"] = _:5488661_1. 
  [iw:Variable "_:5184781_4"] :g :h} =>
{_:5488661_1 :g :h}. 
 {[iw:Variable "_:5184781_4"] = _:5488661_1. 
  [iw:Variable "_:5184781_4"] :a :b} =>
{_:5488661_1 :a :b}. 
 {[iw:Variable "_:5184781_4"] = _:5488661_1. 
  [iw:Variable "_:5184781_4"] :c :d} =>
{_:5488661_1 :c :d}. 
 {[iw:Variable "_:5184781_4"] = _:5488661_1. 
  [iw:Variable "_:5184781_4"] :e :f} =>
{_:5488661_1 :e :f}. 
 {[iw:Variable "_:8145900_4"] = _:6794265_1. 
  [iw:Variable "_:8145900_4"] :g :h} =>
{_:6794265_1 :g :h}. 
 {[iw:Variable "_:8145900_4"] = _:6794265_1. 
  [iw:Variable "_:6063465_4"] = _:5487165_1. 
  [iw:Variable "_:8145900_4"] :a [iw:Variable "_:6063465_4"]} =>
{_:6794265_1 :a _:5487165_1}. 
 {[iw:Variable "_:6063465_4"] = _:5487165_1. 
  [iw:Variable "_:6063465_4"] :b :c} =>
{_:5487165_1 :b :c}. 
 {[iw:Variable "_:8145900_4"] = _:6794265_1. 
  [iw:Variable "_:3847434_4"] = _:6818393_1. 
  [iw:Variable "_:8145900_4"] :d [iw:Variable "_:3847434_4"]} =>
{_:6794265_1 :d _:6818393_1}. 
 {[iw:Variable "_:3847434_4"] = _:6818393_1. 
  [iw:Variable "_:3847434_4"] :e :f} =>
{_:6818393_1 :e :f}. 
 {[iw:Variable "_:4441929_4"] = _:8347303_1. 
  [iw:Variable "_:4441929_4"] :e :f} =>
{_:8347303_1 :e :f}. 
 {[iw:Variable "_:4441929_4"] = _:8347303_1. 
  [iw:Variable "_:5291341_4"] = _:2042379_1. 
  [iw:Variable "_:4441929_4"] :a [iw:Variable "_:5291341_4"]} =>
{_:8347303_1 :a _:2042379_1}. 
 {[iw:Variable "_:5291341_4"] = _:2042379_1. 
  [iw:Variable "_:3949657_4"] = _:81836_1. 
  [iw:Variable "_:5291341_4"] :b [iw:Variable "_:3949657_4"]} =>
{_:2042379_1 :b _:81836_1}. 
 {[iw:Variable "_:3949657_4"] = _:81836_1. 
  [iw:Variable "_:3949657_4"] :c :d} =>
{_:81836_1 :c :d}. 
 {[iw:Variable "_:2844241_4"] = _:7259666_1. 
  [iw:Variable "_:2844241_4"] :a :b} =>
{_:7259666_1 :a :b}. 
 {[iw:Variable "_:4872882_4"] = _:1128272_1. 
  [iw:Variable "_:558937_4"] = _:4616912_1. 
  [iw:Variable "_:4872882_4"] :c [iw:Variable "_:558937_4"]} =>
{_:1128272_1 :c _:4616912_1}. 
 {[iw:Variable "_:558937_4"] = _:4616912_1. 
  [iw:Variable "_:558937_4"] :d :e} =>
{_:4616912_1 :d :e}. 
 {[iw:Variable "_:4872882_4"] = _:1128272_1. 
  [iw:Variable "_:4872882_4"] :a :b} =>
{_:1128272_1 :a :b}. 
:c :b :a. 
:c :b :a. 
:a.:d:c :b :a. 
:a :d :e. 
:a :b "c". 
:a :b "ok"@fr. 
:a :b """c d""". 
:a :c "10"^^<http://www.w3.org/2001/XMLSchema#int>. 
:a :c "bleu"@fr^^<http://example.org/mycolourspace>. 
:a :c "blue"@en-US^^<http://example.org/mycolourspace>. 
:a :c "10"^^xsd:int. 
:a :c "bleu"@fr^^:mycolourspace. 
:a :x "blue"@en-US^^_:x_1. 
 {[iw:Variable "_:7214088_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:7214088_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:7214088_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:7214088_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:6631688_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:6631688_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:6631688_4"] = _:1822782_1. 
  [iw:Variable "_:6631688_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:1149409_4"] = :jos. 
  [iw:Variable "_:7550581_4"] = _:1822782_1. 
  [iw:Variable "_:1149409_4"] :spouse [iw:Variable "_:7550581_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:7550581_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:7550581_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:1149409_4"] = :jos. 
  [iw:Variable "_:7742323_4"] = _:1822782_1. 
  [iw:Variable "_:1149409_4"] :spouse [iw:Variable "_:7742323_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:7742323_4"] = _:1822782_1. 
  [iw:Variable "_:7742323_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:6883110_4"] = :jos. 
  [iw:Variable "_:5538765_4"] = _:1822782_1. 
  [iw:Variable "_:6883110_4"] :spouse [iw:Variable "_:5538765_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:5538765_4"] = _:1822782_1. 
  [iw:Variable "_:5538765_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:6883110_4"] = :jos. 
  [iw:Variable "_:8152936_4"] = _:1822782_1. 
  [iw:Variable "_:6883110_4"] :spouse [iw:Variable "_:8152936_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:8152936_4"] = _:1822782_1. 
  [iw:Variable "_:8152936_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:1651189_4"] = _:1822782_1. 
  [iw:Variable "_:1651189_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:1651189_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:1651189_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:2023852_4"] = _:1822782_1. 
  [iw:Variable "_:4127408_4"] = :mary. 
  [iw:Variable "_:2023852_4"] :firstName [iw:Variable "_:4127408_4"]} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:7469984_4"] = _:1822782_1. 
  [iw:Variable "_:4127408_4"] = :mary. 
  [iw:Variable "_:7469984_4"] :firstName [iw:Variable "_:4127408_4"]} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:7469984_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:7469984_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:2023852_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:2023852_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:3955074_4"] = _:1822782_1. 
  [iw:Variable "_:3955074_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:3955074_4"] = _:1822782_1. 
  [iw:Variable "_:3955074_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:1601451_4"] = _:1822782_1. 
  [iw:Variable "_:4330645_4"] = :mary. 
  [iw:Variable "_:1601451_4"] :firstName [iw:Variable "_:4330645_4"]} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:4944979_4"] = _:1822782_1. 
  [iw:Variable "_:4330645_4"] = :mary. 
  [iw:Variable "_:4944979_4"] :firstName [iw:Variable "_:4330645_4"]} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:4944979_4"] = _:1822782_1. 
  :jos :spouse [iw:Variable "_:4944979_4"]} =>
{:jos :spouse _:1822782_1}. 
 {[iw:Variable "_:1601451_4"] = _:1822782_1. 
  [iw:Variable "_:1601451_4"] :firstName :mary} =>
{_:1822782_1 :firstName :mary}. 
 {[iw:Variable "_:5592333_4"] = _:7434986_1. 
  :x :p [iw:Variable "_:5592333_4"]} =>
{:x :p _:7434986_1}. 
 {[iw:Variable "_:5592333_4"] = _:7434986_1. 
  [iw:Variable "_:5592333_4"] :q :z} =>
{_:7434986_1 :q :z}. 
_:3852104_1 <http://www.w3.org/2002/07/owl#sameAs> _:7434986_1.
# Proof found for http://www.agfa.com/w3c/euler/test-test.n3 in 1324 steps (4257 steps/sec) using 1 engine
}.