The bald eagle chases the tiger. The bald eagle is not red. The squirrel chases the bald eagle. The squirrel is nice. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is blue. The tiger is not green. The tiger visits the squirrel. If something chases the tiger and the tiger is nice then it does not eat the tiger. If the tiger visits the squirrel then the tiger is nice.
The tiger visits the squirrel.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is not red.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The squirrel is nice.[(triple4)] The squirrel visits the bald eagle.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is blue.[(triple8)] The tiger is not green.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The tiger is nice.[(((triple10) -> rule2))] @2: The bald eagle does not eat the tiger.[(((triple1 ((triple10) -> rule2)) -> rule1))]