The bald eagle is young. The cow sees the mouse. The cow visits the mouse. The mouse is cold. The mouse visits the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. If something needs the mouse then it sees the squirrel. If something visits the cow and the cow visits the mouse then it needs the mouse. If something needs the cow then it visits the bald eagle. If something visits the bald eagle and it sees the cow then it is young. If something is cold then it sees the cow. If the mouse is kind then the mouse needs the squirrel. If something visits the bald eagle and it needs the bald eagle then it visits the cow. If something is young then it needs the bald eagle. If the cow is round then the cow is cold.
The bald eagle needs the squirrel.
@0: The bald eagle is young.[(triple1)] The cow sees the mouse.[(triple2)] The cow visits the mouse.[(triple3)] The mouse is cold.[(triple4)] The mouse visits the bald eagle.[(triple5)] The squirrel needs the mouse.[(triple6)] The squirrel sees the bald eagle.[(triple7)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule8))] The mouse sees the cow.[(((triple4) -> rule5))] The squirrel sees the squirrel.[(((triple6) -> rule1))] @2: The mouse is young.[(((triple5 ((triple4) -> rule5)) -> rule4))] @3: The mouse needs the bald eagle.[(((((triple5 ((triple4) -> rule5)) -> rule4)) -> rule8))] @4: The mouse visits the cow.[(((triple5 ((((triple5 ((triple4) -> rule5)) -> rule4)) -> rule8)) -> rule7))] @5: The mouse needs the mouse.[(((((triple5 ((((triple5 ((triple4) -> rule5)) -> rule4)) -> rule8)) -> rule7) triple3) -> rule2))] @6: The mouse sees the squirrel.[(((((((triple5 ((((triple5 ((triple4) -> rule5)) -> rule4)) -> rule8)) -> rule7) triple3) -> rule2)) -> rule1))]