The bald eagle sees the cow. The cow is green. The cow likes the squirrel. The mouse eats the bald eagle. The mouse is green. The squirrel eats the cow. The squirrel is green. If someone is red and they do not like the mouse then they do not eat the mouse. If someone likes the squirrel then they do not eat the mouse. If the cow likes the bald eagle then the cow eats the squirrel.
The cow is not green.
@0: The bald eagle sees the cow.[(triple1)] The cow is green.[(triple2)] The cow likes the squirrel.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is green.[(triple5)] The squirrel eats the cow.[(triple6)] The squirrel is green.[(triple7)] @1: The cow does not eat the mouse.[(((triple3) -> rule2))]