The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle sees the tiger. The squirrel chases the bald eagle. The squirrel is green. The tiger sees the bald eagle. If something sees the bald eagle then it is big. If something is big then it is kind. If something is green then it chases the tiger. If something eats the squirrel then the squirrel is green. If something sees the bald eagle and it chases the bald eagle then it eats the bald eagle. If the tiger is kind then the tiger is blue.
The squirrel is kind.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle sees the tiger.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel is green.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The squirrel chases the tiger.[(((triple6) -> rule3))] The tiger is big.[(((triple7) -> rule1))] @2: The tiger is kind.[(((((triple7) -> rule1)) -> rule2))] @3: The tiger is blue.[(((((((triple7) -> rule1)) -> rule2)) -> rule6))]