The bald eagle visits the tiger. The cow is nice. The squirrel is rough. The tiger eats the bald eagle. If someone is big then they need the bald eagle. If someone visits the bald eagle then they do not eat the cow. If someone needs the tiger then they are big. If someone visits the bald eagle then they are big. If the tiger eats the bald eagle and the tiger is not green then the bald eagle needs the tiger. If someone is rough then they visit the bald eagle. If someone is big and they need the cow then they are young. If someone is rough and not big then they need the cow.
The bald eagle visits the tiger.
@0: The bald eagle visits the tiger.[(triple1)] The cow is nice.[(triple2)] The squirrel is rough.[(triple3)] The tiger eats the bald eagle.[(triple4)] @1: The squirrel visits the bald eagle.[(((triple3) -> rule6))] @2: The squirrel does not eat the cow.[(((((triple3) -> rule6)) -> rule2))] The squirrel is big.[(((((triple3) -> rule6)) -> rule4))] @3: The squirrel needs the bald eagle.[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]