The bald eagle chases the lion. The lion chases the bald eagle. The lion visits the squirrel. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse does not need the lion. The squirrel is blue. The squirrel is not kind. The squirrel is red. The squirrel needs the mouse. If something visits the squirrel and it chases the bald eagle then the squirrel visits the mouse. If something is red and blue then it does not chase the mouse. If something is green and it does not chase the squirrel then it is kind. If something needs the squirrel then the squirrel needs the bald eagle. If something is blue then it needs the squirrel. If the squirrel needs the bald eagle then the bald eagle needs the lion.
The squirrel needs the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The lion chases the bald eagle.[(triple2)] The lion visits the squirrel.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse does not need the lion.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is not kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The squirrel does not chase the mouse.[(((triple9 triple7) -> rule2))] The squirrel needs the squirrel.[(((triple7) -> rule5))] The squirrel visits the mouse.[(((triple3 triple2) -> rule1))] @2: The squirrel needs the bald eagle.[(((((triple7) -> rule5)) -> rule4))] @3: The bald eagle needs the lion.[(((((((triple7) -> rule5)) -> rule4)) -> rule6))]