The bald eagle does not chase the cow. The bald eagle is blue. The bald eagle visits the cow. The cow chases the tiger. The tiger chases the bald eagle. The tiger likes the bald eagle. The tiger visits the cow. If something visits the cow and the cow is not kind then the cow likes the tiger. If something chases the tiger then it does not visit the cow.
The bald eagle is not blue.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow chases the tiger.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger likes the bald eagle.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow does not visit the cow.[(((triple4) -> rule2))]