The bald eagle is rough. The cat chases the cow. The cow is red. The dog is blue. If something is rough and it visits the cat then it visits the cow. If something visits the bald eagle then the bald eagle is rough. If something is big then it chases the cow. If something chases the cow then the cow visits the cat. If something visits the cat and it visits the bald eagle then it is blue. If something chases the cow and it is blue then it needs the dog. If something visits the dog and it chases the cow then the dog chases the cat. If something visits the dog and the dog visits the cat then it visits the cow.
The cow does not visit the cat.
@0: The bald eagle is rough.[(triple1)] The cat chases the cow.[(triple2)] The cow is red.[(triple3)] The dog is blue.[(triple4)] @1: The cow visits the cat.[(((triple2) -> rule4))]