The bald eagle likes the squirrel. The mouse is young. The mouse visits the bald eagle. The mouse visits the squirrel. The mouse visits the tiger. The squirrel chases the mouse. The squirrel is big. The squirrel is red. The squirrel likes the tiger. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger visits the mouse. If something visits the squirrel and it likes the mouse then it chases the mouse. If something visits the mouse then it is young. If something visits the tiger then it likes the mouse. If something likes the mouse and it visits the mouse then the mouse is cold. If the bald eagle chases the mouse and the mouse chases the tiger then the tiger likes the bald eagle. If something chases the tiger and it likes the squirrel then the tiger is nice. If something chases the squirrel then it is nice. If something chases the bald eagle and the bald eagle likes the mouse then the bald eagle chases the mouse.
The bald eagle likes the squirrel.
@0: The bald eagle likes the squirrel.[(triple1)] The mouse is young.[(triple2)] The mouse visits the bald eagle.[(triple3)] The mouse visits the squirrel.[(triple4)] The mouse visits the tiger.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel is big.[(triple7)] The squirrel is red.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The mouse likes the mouse.[(((triple5) -> rule3))] The squirrel likes the mouse.[(((triple11) -> rule3))] The tiger is young.[(((triple12) -> rule2))] @2: The mouse chases the mouse.[(((triple4 ((triple5) -> rule3)) -> rule1))]