The bald eagle chases the squirrel. The bald eagle eats the mouse. The bald eagle is cold. The mouse eats the squirrel. The mouse is blue. The mouse is cold. The squirrel chases the mouse. If someone eats the mouse then the mouse chases the bald eagle. Red people are blue.
The bald eagle is not blue.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is blue.[(triple5)] The mouse is cold.[(triple6)] The squirrel chases the mouse.[(triple7)] @1: The mouse chases the bald eagle.[(((triple2) -> rule1))]