The bald eagle eats the squirrel. The bear is green. The mouse eats the bald eagle. The squirrel is blue. If something is green then it likes the mouse. If something likes the mouse then it sees the squirrel. If the mouse sees the squirrel and the mouse does not like the bear then the bear is blue. If something sees the squirrel then the squirrel is green. If something eats the bear then the bear eats the squirrel. If something is cold and it eats the bear then the bear eats the bald eagle. If something likes the bear and it sees the bear then the bear does not eat the bald eagle. If something likes the bald eagle and it does not like the bear then it does not see the bald eagle.
The bear likes the mouse.
@0: The bald eagle eats the squirrel.[(triple1)] The bear is green.[(triple2)] The mouse eats the bald eagle.[(triple3)] The squirrel is blue.[(triple4)] @1: The bear likes the mouse.[(((triple2) -> rule1))] @2: The bear sees the squirrel.[(((((triple2) -> rule1)) -> rule2))] @3: The squirrel is green.[(((((((triple2) -> rule1)) -> rule2)) -> rule4))] @4: The squirrel likes the mouse.[(((((((((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule1))] @5: The squirrel sees the squirrel.[(((((((((((triple2) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]