The cow likes the lion. The cow visits the lion. The cow visits the tiger. The lion is blue. The tiger is rough. The tiger likes the lion. The tiger visits the lion. If something likes the lion then it is blue.
The tiger does not visit the lion.
@0: The cow likes the lion.[(triple1)] The cow visits the lion.[(triple2)] The cow visits the tiger.[(triple3)] The lion is blue.[(triple4)] The tiger is rough.[(triple5)] The tiger likes the lion.[(triple6)] The tiger visits the lion.[(triple7)] @1: The cow is blue.[(((triple1) -> rule1))] The tiger is blue.[(((triple6) -> rule1))]