The bald eagle is blue. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is kind. The tiger is round. If something chases the squirrel then the squirrel needs the bald eagle. If something needs the tiger and the tiger is cold then it visits the squirrel. If something visits the tiger then the tiger needs the bald eagle. If something needs the squirrel then the squirrel chases the bald eagle. If something needs the bald eagle and it is kind then it needs the tiger. If something chases the tiger and the tiger is kind then it visits the bald eagle. If something is kind and it needs the tiger then it is cold. If something chases the tiger then it visits the squirrel.
The squirrel does not chase the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The squirrel visits the tiger.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is kind.[(triple6)] The tiger is round.[(triple7)] @1: The squirrel chases the bald eagle.[(((triple2) -> rule4))] The squirrel needs the bald eagle.[(((triple5) -> rule1))] The tiger needs the bald eagle.[(((triple4) -> rule3))] @2: The tiger needs the tiger.[(((((triple4) -> rule3) triple6) -> rule5))] @3: The tiger is cold.[(((triple6 ((((triple4) -> rule3) triple6) -> rule5)) -> rule7))] @4: The tiger visits the squirrel.[(((((((triple4) -> rule3) triple6) -> rule5) ((triple6 ((((triple4) -> rule3) triple6) -> rule5)) -> rule7)) -> rule2))]