The bald eagle chases the cow. The bald eagle visits the squirrel. The cow needs the bald eagle. The cow visits the squirrel. The squirrel needs the tiger. The tiger chases the cow. The tiger chases the squirrel. If someone chases the squirrel and the squirrel is blue then they do not chase the tiger. If someone chases the squirrel then the squirrel needs the cow. If someone chases the bald eagle then they are blue.
The tiger does not chase the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cow needs the bald eagle.[(triple3)] The cow visits the squirrel.[(triple4)] The squirrel needs the tiger.[(triple5)] The tiger chases the cow.[(triple6)] The tiger chases the squirrel.[(triple7)] @1: The squirrel needs the cow.[(((triple7) -> rule2))]