The bald eagle is blue. The cow eats the dog. The dog eats the cow. If something eats the dog then it visits the dog. If something likes the cow and the cow eats the dog then the dog is big. If something visits the dog and it visits the cow then the cow eats the dog.
The cow does not eat the dog.
@0: The bald eagle is blue.[(triple1)] The cow eats the dog.[(triple2)] The dog eats the cow.[(triple3)] @1: The cow visits the dog.[(((triple2) -> rule1))]