The cat chases the cow. The cow is young. The cow needs the cat. If something is rough then it chases the cat. If the cow is young then the cow chases the cat. If something needs the cow then it chases the cow. If something visits the cow and it needs the cat then it chases the cat. If the cow visits the cat then the cow needs the cat. If something needs the cat and it is nice then it chases the cow.
The cow is green.
@0: The cat chases the cow.[(triple1)] The cow is young.[(triple2)] The cow needs the cat.[(triple3)] @1: The cow chases the cat.[(((triple2) -> rule2))]