The bald eagle chases the tiger. The squirrel chases the tiger. The tiger visits the squirrel. If the bald eagle visits the squirrel and the squirrel chases the bald eagle then the squirrel is kind. If something chases the bald eagle and it is blue then it needs the tiger. All blue things are round. If something chases the squirrel and it visits the squirrel then the squirrel visits the tiger. If something chases the tiger then it is kind. If something is kind then it visits the bald eagle. If something visits the bald eagle then it visits the squirrel. If something visits the bald eagle and the bald eagle needs the tiger then the tiger chases the squirrel.
The squirrel does not need the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The squirrel chases the tiger.[(triple2)] The tiger visits the squirrel.[(triple3)] @1: The bald eagle is kind.[(((triple1) -> rule5))] The squirrel is kind.[(((triple2) -> rule5))] @2: The bald eagle visits the bald eagle.[(((((triple1) -> rule5)) -> rule6))] The squirrel visits the bald eagle.[(((((triple2) -> rule5)) -> rule6))] @3: The bald eagle visits the squirrel.[(((((((triple1) -> rule5)) -> rule6)) -> rule7))] The squirrel visits the squirrel.[(((((((triple2) -> rule5)) -> rule6)) -> rule7))]