1: ...
 [by parsing <,argpf.n3>]

2: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> a :PositionStatement .
 [by CE on 1]

3: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/markb.n3> a :PositionStatement .
 [by CE on 1]

4: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/markb.n3> :semantics {<http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . } .
 [by built-in Axiom log:semantics]

5: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:semantics]

6: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> log:semantics { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome :_g32, :_g33 . :_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a :_g32; log:uri :_g33 . } log:implies {tb:X a tbl:Document . } . } .
 [by built-in Axiom log:semantics]

7: ( {<http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . } { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . [ a a2:_g32; log:uri a2:_g33 ]. } log:implies { [ a tbl:Document ]. } . } { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { [ owl:intersectionOf ( :C ) ]. [ a :C ]. } log:implies { [ a :D ]. } . { [ owl:intersectionOf ( :C ) ]. [ a :D ]. } log:implies { [ a :C ]. } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . [ a :C ]. [ a a2:_g26 ]. } log:implies { [ owl:differentFrom :S2 ]. } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . [ a a2:_g27 ]. [ a a2:_g28 ]. } log:implies { [ owl:differentFrom :Y ]. } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . [ owl:intersectionOf :L ]. [ rdf:first a2:_g31 ]. [ a a2:_g29 ]. } log:implies { [ a :C, :CL ]. } . } ) log:conjunction { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:conjunction]

8: { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } log:supports { @forSome a2:_g35 . a2:_g35 owl:differentFrom a2:_g35 . } .
 [by CP on @@]

9: @forAll :F, :G, :OWLSEM, :X, :Y . { @forSome :_g34 . ( :F :G :OWLSEM ) log:conjunction :_g34 . :_g34 log:supports { @forSome :_g35 . :_g35 owl:differentFrom :_g35 . } . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics :OWLSEM . :X a a:PositionStatement; log:semantics :F . :Y a a:PositionStatement; log:semantics :G . } log:implies {:X a:inconsistentWith :Y . } .
 [by CE on 1]

10: ...
 [by GMP on 9, [2, 3, 4, 5, 6, 7, 8, 8]]

11: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> a :PositionStatement .
 [by CE on 1]

12: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/dc.n3> a :PositionStatement .
 [by CE on 1]

13: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/dc.n3> :semantics {<http://purl.org/dc/elements/1.1/title> a rdf:Property . } .
 [by built-in Axiom log:semantics]

14: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:semantics]

15: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> log:semantics { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome :_g32, :_g33 . :_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a :_g32; log:uri :_g33 . } log:implies {tb:X a tbl:Document . } . } .
 [by built-in Axiom log:semantics]

16: ( {<http://purl.org/dc/elements/1.1/title> a rdf:Property . } { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . [ a a2:_g32; log:uri a2:_g33 ]. } log:implies { [ a tbl:Document ]. } . } { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { [ owl:intersectionOf ( :C ) ]. [ a :C ]. } log:implies { [ a :D ]. } . { [ owl:intersectionOf ( :C ) ]. [ a :D ]. } log:implies { [ a :C ]. } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . [ a :C ]. [ a a2:_g26 ]. } log:implies { [ owl:differentFrom :S2 ]. } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . [ a a2:_g27 ]. [ a a2:_g28 ]. } log:implies { [ owl:differentFrom :Y ]. } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . [ owl:intersectionOf :L ]. [ rdf:first a2:_g31 ]. [ a a2:_g29 ]. } log:implies { [ a :C, :CL ]. } . } ) log:conjunction { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://purl.org/dc/elements/1.1/title> a rdf:Property . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:conjunction]

17: { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://purl.org/dc/elements/1.1/title> a rdf:Property . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } log:supports { @forSome a2:_g35 . a2:_g35 owl:differentFrom a2:_g35 . } .
 [by CP on @@]

18: @forAll :F, :G, :OWLSEM, :X, :Y . { @forSome :_g34 . ( :F :G :OWLSEM ) log:conjunction :_g34 . :_g34 log:supports { @forSome :_g35 . :_g35 owl:differentFrom :_g35 . } . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics :OWLSEM . :X a a:PositionStatement; log:semantics :F . :Y a a:PositionStatement; log:semantics :G . } log:implies {:X a:inconsistentWith :Y . } .
 [by CE on 1]

19: ...
 [by GMP on 18, [11, 12, 13, 14, 15, 16, 17, 17]]

20: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/markb.n3> a :PositionStatement .
 [by CE on 1]

21: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> a :PositionStatement .
 [by CE on 1]

22: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> log:semantics { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome :_g32, :_g33 . :_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a :_g32; log:uri :_g33 . } log:implies {tb:X a tbl:Document . } . } .
 [by built-in Axiom log:semantics]

23: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:semantics]

24: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/markb.n3> :semantics {<http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . } .
 [by built-in Axiom log:semantics]

25: ( { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . [ a a2:_g32; log:uri a2:_g33 ]. } log:implies { [ a tbl:Document ]. } . } {<http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . } { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { [ owl:intersectionOf ( :C ) ]. [ a :C ]. } log:implies { [ a :D ]. } . { [ owl:intersectionOf ( :C ) ]. [ a :D ]. } log:implies { [ a :C ]. } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . [ a :C ]. [ a a2:_g26 ]. } log:implies { [ owl:differentFrom :S2 ]. } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . [ a a2:_g27 ]. [ a a2:_g28 ]. } log:implies { [ owl:differentFrom :Y ]. } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . [ owl:intersectionOf :L ]. [ rdf:first a2:_g31 ]. [ a a2:_g29 ]. } log:implies { [ a :C, :CL ]. } . } ) log:conjunction { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:conjunction]

26: { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://markbaker.ca/> a <http://xmlns.com/foaf/0.1/Person>; <http://xmlns.com/foaf/0.1/name> "Mark Baker" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } log:supports { @forSome a2:_g35 . a2:_g35 owl:differentFrom a2:_g35 . } .
 [by CP on @@]

27: @forAll :F, :G, :OWLSEM, :X, :Y . { @forSome :_g34 . ( :F :G :OWLSEM ) log:conjunction :_g34 . :_g34 log:supports { @forSome :_g35 . :_g35 owl:differentFrom :_g35 . } . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics :OWLSEM . :X a a:PositionStatement; log:semantics :F . :Y a a:PositionStatement; log:semantics :G . } log:implies {:X a:inconsistentWith :Y . } .
 [by CE on 1]

28: ...
 [by GMP on 27, [20, 21, 22, 23, 24, 25, 26, 26]]

29: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/dc.n3> a :PositionStatement .
 [by CE on 1]

30: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> a :PositionStatement .
 [by CE on 1]

31: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> log:semantics { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome :_g32, :_g33 . :_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a :_g32; log:uri :_g33 . } log:implies {tb:X a tbl:Document . } . } .
 [by built-in Axiom log:semantics]

32: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:semantics]

33: <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/dc.n3> :semantics {<http://purl.org/dc/elements/1.1/title> a rdf:Property . } .
 [by built-in Axiom log:semantics]

34: ( { @forAll tb:X . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . [ a a2:_g32; log:uri a2:_g33 ]. } log:implies { [ a tbl:Document ]. } . } {<http://purl.org/dc/elements/1.1/title> a rdf:Property . } { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . owl:Thing owl:complementOf owl:Nothing . { [ owl:intersectionOf ( :C ) ]. [ a :C ]. } log:implies { [ a :D ]. } . { [ owl:intersectionOf ( :C ) ]. [ a :D ]. } log:implies { [ a :C ]. } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . [ a :C ]. [ a a2:_g26 ]. } log:implies { [ owl:differentFrom :S2 ]. } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . [ a a2:_g27 ]. [ a a2:_g28 ]. } log:implies { [ owl:differentFrom :Y ]. } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . [ owl:intersectionOf :L ]. [ rdf:first a2:_g31 ]. [ a a2:_g29 ]. } log:implies { [ a :C, :CL ]. } . } ) log:conjunction { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://purl.org/dc/elements/1.1/title> a rdf:Property . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } .
 [by built-in Axiom log:conjunction]

35: { @forAll :C, :CL, :D, :L, :S1, :S2, :X, :Y, tb:X. @forSome a2:_g25 . a2:_g25 a owl:Thing . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> <http://purl.org/dc/elements/1.1/description> "noodling on inconsistency in N3" . tbl:Document owl:disjointWith tbl:Car, rdf:Property, <http://xmlns.com/foaf/0.1/Person> . <http://purl.org/dc/elements/1.1/title> a rdf:Property . owl:Thing owl:complementOf owl:Nothing . { :D owl:intersectionOf ( :C ) . :X a :C . } log:implies {:X a :D . } . { :D owl:intersectionOf ( :C ) . :X a :D . } log:implies {:X a :C . } . { @forSome a2:_g26 . a2:_g26 owl:complementOf :C . :S1 a :C . :S2 a a2:_g26 . } log:implies {:S1 owl:differentFrom :S2 . } . { @forSome a2:_g27, a2:_g28 . a2:_g27 owl:disjointWith a2:_g28 . :X a a2:_g27 . :Y a a2:_g28 . } log:implies {:X owl:differentFrom :Y . } . { @forSome a2:_g32, a2:_g33 . a2:_g33 str:notMatches "#"; str:startsWith "http:" . tb:X a a2:_g32; log:uri a2:_g33 . } log:implies {tb:X a tbl:Document . } . { @forSome a2:_g29, a2:_g30, a2:_g31 . a2:_g29 owl:intersectionOf a2:_g30 . a2:_g30 rdf:first :C; rdf:rest :L . :CL owl:intersectionOf :L . :L rdf:first a2:_g31 . :X a a2:_g29 . } log:implies {:X a :C, :CL . } . } log:supports { @forSome a2:_g35 . a2:_g35 owl:differentFrom a2:_g35 . } .
 [by CP on @@]

36: @forAll :F, :G, :OWLSEM, :X, :Y . { @forSome :_g34 . ( :F :G :OWLSEM ) log:conjunction :_g34 . :_g34 log:supports { @forSome :_g35 . :_g35 owl:differentFrom :_g35 . } . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics :OWLSEM . :X a a:PositionStatement; log:semantics :F . :Y a a:PositionStatement; log:semantics :G . } log:implies {:X a:inconsistentWith :Y . } .
 [by CE on 1]

37: ...
 [by GMP on 36, [29, 30, 31, 32, 33, 34, 35, 35]]

38: @forAll :F, :G, :OWLSEM, :X, :Y . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/dc.n3> a a:PositionStatement; a:inconsistentWith <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/markb.n3> a a:PositionStatement; a:inconsistentWith <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/tbl.n3> a a:PositionStatement; a:inconsistentWith <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/dc.n3>, <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/markb.n3> . { @forSome :_g34 . ( :F :G :OWLSEM ) log:conjunction :_g34 . :_g34 log:supports { @forSome :_g35 . :_g35 owl:differentFrom :_g35 . } . <file:/Users/connolly/w3ccvs/WWW/2006/04/irw65/owlAx.n3> log:semantics :OWLSEM . :X a a:PositionStatement; log:semantics :F . :Y a a:PositionStatement; log:semantics :G . } log:implies {:X a:inconsistentWith :Y . } .
 [by CI on [1, 10, 19, 28, 37]]