The bald eagle chases the tiger. The squirrel likes the tiger. The tiger chases the bald eagle. If something chases the bald eagle then the bald eagle visits the tiger. If something visits the tiger then it visits the squirrel. If the tiger likes the bald eagle and the tiger likes the squirrel then the squirrel visits the tiger. If the squirrel likes the tiger and the squirrel visits the bald eagle then the tiger visits the bald eagle. If something visits the squirrel then the squirrel is kind. If something is round and big then it visits the bald eagle.
The squirrel does not visit the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger chases the bald eagle.[(triple3)] @1: The bald eagle visits the tiger.[(((triple3) -> rule1))] @2: The bald eagle visits the squirrel.[(((((triple3) -> rule1)) -> rule2))] @3: The squirrel is kind.[(((((((triple3) -> rule1)) -> rule2)) -> rule5))]