The bald eagle likes the mouse. The bald eagle sees the mouse. The cow eats the bald eagle. The cow is red. The cow likes the mouse. The cow sees the bald eagle. The cow sees the squirrel. The mouse is kind. The mouse likes the squirrel. The squirrel sees the cow. If something sees the squirrel then the squirrel sees the bald eagle. If the bald eagle likes the squirrel then the squirrel eats the bald eagle. If something likes the squirrel then the squirrel is big. If the cow eats the squirrel and the cow likes the mouse then the squirrel is kind. If something eats the mouse and the mouse is kind then it likes the mouse. If the cow eats the bald eagle then the bald eagle sees the mouse. If something is big then it eats the mouse. If something likes the cow then the cow is big.
The bald eagle likes the squirrel.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2 OR ((triple3) -> rule6))] The cow eats the bald eagle.[(triple3)] The cow is red.[(triple4)] The cow likes the mouse.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow sees the squirrel.[(triple7)] The mouse is kind.[(triple8)] The mouse likes the squirrel.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The squirrel is big.[(((triple9) -> rule3))] The squirrel sees the bald eagle.[(((triple7) -> rule1))] @2: The squirrel eats the mouse.[(((((triple9) -> rule3)) -> rule7))] @3: The squirrel likes the mouse.[(((((((triple9) -> rule3)) -> rule7) triple8) -> rule5))]