The bald eagle eats the rabbit. The mouse is nice. The rabbit eats the mouse. If the bald eagle is red then the bald eagle sees the rabbit. If someone eats the mouse then the mouse is cold.
The bald eagle eats the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The mouse is nice.[(triple2)] The rabbit eats the mouse.[(triple3)] @1: The mouse is cold.[(((triple3) -> rule2))]