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