# Messed up proof # Base was: file:/devel/WWW/2000/10/swap/test/reason/foo @prefix : . @prefix foo: . @prefix log: . this log:forSome <#_g0> . <#_g0> a :Parsing; :source . { . } :because <#_g0> . { . } :because [ a :Inference; :binding [ :boundTo ; :variable foo:x ], [ :boundTo ; # @@@@@@@@@@@@ <---- was :variable foo:y ]; :given { . }; :rule {this log:forAll foo:x, foo:y . { foo:y foo:x . } log:implies {foo:x foo:y . } . } ] . { this log:forAll foo:x, foo:y . { foo:y foo:x . } log:implies {foo:x foo:y . } . } :because <#_g0> . { this log:forAll foo:x, foo:y . . . { foo:y foo:x . } log:implies {foo:x foo:y . } . } a :QED; :because [ a :Conjunction; :given { . }, { . }, {this log:forAll foo:x, foo:y . { foo:y foo:x . } log:implies {foo:x foo:y . } . } ] . #ENDS