@prefix : <file:/devel/WWW/2000/10/swap/test/reason/t4.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :x . :a :b :c . :c :d :e . { :a :b :x . } log:implies {:x :d :e . } . @prefix : <file:/devel/WWW/2000/10/swap/test/reason/t4.n3#> . :a :b :c . @prefix : <file:/devel/WWW/2000/10/swap/test/reason/t4.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :x . { :a :b :x . } log:implies {:x :d :e . } . @prefix : <file:/devel/WWW/2000/10/swap/test/reason/t4.n3#> . :c :d :e . @prefix : <file:/devel/WWW/2000/10/swap/test/reason/t4.n3#> . :a :b :c . @prefix : <file:/devel/WWW/2000/10/swap/test/reason/t4.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forAll :x . { :a :b :x . } log:implies {:x :d :e . } . file:/devel/WWW/2000/10/swap/test/reason/t4.n3#c file:/devel/WWW/2000/10/swap/test/reason/t4.n3#x