The bald eagle is blue. The bald eagle is kind. The bald eagle sees the tiger. The squirrel is blue. The squirrel sees the tiger. The tiger is rough. The tiger is round. If someone visits the squirrel and the squirrel sees the tiger then they chase the bald eagle. If someone chases the bald eagle and the bald eagle chases the tiger then the bald eagle visits the squirrel. If someone is round then they visit the squirrel. If someone is young then they visit the tiger. If the bald eagle is blue and the bald eagle chases the squirrel then the squirrel is kind. If someone is kind then they chase the tiger.
The squirrel does not visit the tiger.
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the tiger.[(triple3)] The squirrel is blue.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger is rough.[(triple6)] The tiger is round.[(triple7)] @1: The bald eagle chases the tiger.[(((triple2) -> rule6))] The tiger visits the squirrel.[(((triple7) -> rule3))] @2: The tiger chases the bald eagle.[(((((triple7) -> rule3) triple5) -> rule1))] @3: The bald eagle visits the squirrel.[(((((((triple7) -> rule3) triple5) -> rule1) ((triple2) -> rule6)) -> rule2))] @4: The bald eagle chases the bald eagle.[(((((((((triple7) -> rule3) triple5) -> rule1) ((triple2) -> rule6)) -> rule2) triple5) -> rule1))]