The bald eagle eats the tiger. The cat eats the tiger. The squirrel eats the tiger. The tiger chases the squirrel. If someone eats the cat and the cat is rough then they chase the squirrel. If someone chases the squirrel then the squirrel chases the tiger. If someone visits the squirrel then the squirrel eats the cat. If someone chases the tiger then the tiger is green. If the tiger visits the cat then the tiger eats the bald eagle. If someone visits the cat then they are big.
The cat does not eat the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger chases the squirrel.[(triple4)] @1: The squirrel chases the tiger.[(((triple4) -> rule2))] @2: The tiger is green.[(((((triple4) -> rule2)) -> rule4))]