The bald eagle is rough. The bald eagle sees the mouse. The bald eagle sees the squirrel. The mouse chases the squirrel. The mouse is cold. The mouse is nice. The mouse sees the squirrel. The squirrel chases the bald eagle. The squirrel does not see the bald eagle. The squirrel sees the mouse. If something is cold and it likes the bald eagle then it sees the mouse. If something sees the bald eagle then it likes the mouse. If something is nice then it is not young. If something is nice then it likes the bald eagle. If the mouse is cold and the mouse sees the bald eagle then the bald eagle sees the mouse. If the squirrel chases the mouse then the squirrel is not young.
The mouse is cold.
@0: The bald eagle is rough.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse is cold.[(triple5)] The mouse is nice.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel does not see the bald eagle.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The mouse is not young.[(((triple6) -> rule3))] The mouse likes the bald eagle.[(((triple6) -> rule4))] @2: The mouse sees the mouse.[(((triple5 ((triple6) -> rule4)) -> rule1))]