@prefix : . @prefix log: . :a :b :c . :a2 :b2 :c2 . { :a :b :c . } log:implies {:a2 :b2 :c2 . } .