The bald eagle visits the cow. The cow eats the squirrel. The lion eats the cow. The squirrel visits the lion. If someone eats the cow then the cow is blue. If someone is cold and they do not visit the bald eagle then the bald eagle sees the cow. If someone visits the squirrel then they are blue.
The squirrel eats the bald eagle.
@0: The bald eagle visits the cow.[(triple1)] The cow eats the squirrel.[(triple2)] The lion eats the cow.[(triple3)] The squirrel visits the lion.[(triple4)] @1: The cow is blue.[(((triple3) -> rule1))]