The bald eagle is round. The bear visits the bald eagle. The mouse sees the bald eagle. If someone visits the bear then they see the mouse. If someone chases the mouse then they visit the mouse. If someone sees the bald eagle then they chase the mouse. If someone is blue and they chase the bear then the bear is red. If someone visits the mouse then the mouse is nice. If someone chases the bald eagle then they visit the bear.
The mouse is nice.
@0: The bald eagle is round.[(triple1)] The bear visits the bald eagle.[(triple2)] The mouse sees the bald eagle.[(triple3)] @1: The mouse chases the mouse.[(((triple3) -> rule3))] @2: The mouse visits the mouse.[(((((triple3) -> rule3)) -> rule2))] @3: The mouse is nice.[(((((((triple3) -> rule3)) -> rule2)) -> rule5))]