The bald eagle is cold. The bald eagle likes the rabbit. The mouse likes the bald eagle. The rabbit chases the mouse. The rabbit is round. The squirrel chases the rabbit. The squirrel is nice. If someone likes the bald eagle then they are round. If the squirrel does not chase the rabbit then the rabbit does not like the squirrel. If someone chases the rabbit then the rabbit sees the bald eagle.
The rabbit is not round.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The mouse likes the bald eagle.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit is round.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is nice.[(triple7)] @1: The mouse is round.[(((triple3) -> rule1))] The rabbit sees the bald eagle.[(((triple6) -> rule3))]