The bald eagle sees the mouse. The bear is nice. The bear is round. The bear likes the bald eagle. The bear likes the mouse. The mouse visits the bald eagle. The squirrel is green. The squirrel is red. The squirrel sees the mouse. The squirrel visits the mouse. If someone visits the squirrel and the squirrel likes the bald eagle then the bald eagle likes the mouse. If someone likes the squirrel and they are kind then they are round. If someone sees the bear then they visit the mouse. If the squirrel is round and the squirrel visits the mouse then the mouse sees the squirrel. If someone is red then they like the squirrel. Green people are kind. If someone sees the bear and the bear sees the bald eagle then the bald eagle sees the squirrel. If someone likes the squirrel then the squirrel visits the bear.
The mouse likes the squirrel.
@0: The bald eagle sees the mouse.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the mouse.[(triple5)] The mouse visits the bald eagle.[(triple6)] The squirrel is green.[(triple7)] The squirrel is red.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The squirrel is kind.[(((triple7) -> rule6))] The squirrel likes the squirrel.[(((triple8) -> rule5))] @2: The squirrel is round.[(((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2))] The squirrel visits the bear.[(((((triple8) -> rule5)) -> rule8))] @3: The mouse sees the squirrel.[(((((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2) triple10) -> rule4))]