The bald eagle eats the tiger. The bald eagle is rough. The mouse eats the squirrel. The squirrel eats the mouse. The squirrel eats the tiger. The squirrel sees the tiger. The tiger is cold. If something is cold and round then it sees the mouse. If something eats the squirrel and the squirrel sees the mouse then the mouse eats the bald eagle. If something eats the bald eagle then the bald eagle needs the tiger. If something eats the bald eagle then it sees the bald eagle. If something needs the tiger then it sees the mouse. If the squirrel eats the mouse and the mouse eats the squirrel then the squirrel needs the tiger. If the squirrel sees the bald eagle and the squirrel eats the mouse then the squirrel is cold.
The bald eagle does not need the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is rough.[(triple2)] The mouse eats the squirrel.[(triple3)] The squirrel eats the mouse.[(triple4)] The squirrel eats the tiger.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger is cold.[(triple7)] @1: The squirrel needs the tiger.[(((triple4 triple3) -> rule6))] @2: The squirrel sees the mouse.[(((((triple4 triple3) -> rule6)) -> rule5))] @3: The mouse eats the bald eagle.[(((triple3 ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2))] @4: The bald eagle needs the tiger.[(((((triple3 ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2)) -> rule3))] The mouse sees the bald eagle.[(((((triple3 ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2)) -> rule4))] @5: The bald eagle sees the mouse.[(((((((triple3 ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2)) -> rule3)) -> rule5))]