The bald eagle is round. The dog sees the squirrel. The mouse is red. The squirrel chases the dog. If something sees the mouse and the mouse chases the squirrel then the mouse likes the bald eagle. If something likes the squirrel then it is nice. If something is red then it likes the squirrel. If the bald eagle likes the squirrel and the bald eagle sees the squirrel then the squirrel chases the bald eagle. If something is blue and it likes the squirrel then it chases the squirrel. If something chases the squirrel then it is round.
The mouse chases the mouse.
@0: The bald eagle is round.[(triple1)] The dog sees the squirrel.[(triple2)] The mouse is red.[(triple3)] The squirrel chases the dog.[(triple4)] @1: The mouse likes the squirrel.[(((triple3) -> rule3))] @2: The mouse is nice.[(((((triple3) -> rule3)) -> rule2))]