The bald eagle eats the tiger. The cow eats the bald eagle. The squirrel is nice. The tiger is kind. If something is kind then it chases the bald eagle. If something eats the tiger and the tiger chases the bald eagle then the tiger is big. If something visits the cow then it eats the bald eagle.
The tiger is big.
@0: The bald eagle eats the tiger.[(triple1)] The cow eats the bald eagle.[(triple2)] The squirrel is nice.[(triple3)] The tiger is kind.[(triple4)] @1: The tiger chases the bald eagle.[(((triple4) -> rule1))] @2: The tiger is big.[(((triple1 ((triple4) -> rule1)) -> rule2))]