The bald eagle sees the rabbit. The mouse chases the rabbit. The rabbit sees the squirrel. The squirrel is green. If someone eats the bald eagle and the bald eagle is red then the bald eagle is green. If someone chases the rabbit then they chase the mouse. If someone is red and cold then they see the squirrel.
The mouse chases the rabbit.
@0: The bald eagle sees the rabbit.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel is green.[(triple4)] @1: The mouse chases the mouse.[(((triple2) -> rule2))]