The cat likes the cow. The cow likes the cat. The lion visits the cat. If something is green and red then it needs the cat. If something likes the cat then it is not green.
The cat likes the lion.
@0: The cat likes the cow.[(triple1)] The cow likes the cat.[(triple2)] The lion visits the cat.[(triple3)] @1: The cow is not green.[(((triple2) -> rule2))]