@prefix : <http://infomesh.net/2001/orexample/#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

{ { :Joe :loves :TheSimpsons } a log:Falsehood .
  { :Joe :is :Nuts } a log:Falsehood .
} a log:Falsehood .

{ { { { :x :y :z } a log:Falsehood . 
      { :a :b :c } a log:Falsehood } a log:Falsehood . 
        :x :y :z }
log:implies
{ { :a :b :c } a log:Falsehood . { :x :y :z } a log:Truth } 
} a log:Truth; log:forAll :x , :y , :z , :a , :b , :c .

{ { { { :x :y :z } a log:Falsehood . { :a :b :c } a log:Falsehood } 
   a log:Falsehood . :x :y :z . :a :b :c }
log:implies
{ this a :Inconsistency } } a log:Truth; log:forAll :x , :y , :z , :a , :b , :c .

:Joe :loves :TheSimpsons .