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