The bald eagle visits the tiger. The cow eats the tiger. The squirrel is green. The tiger needs the squirrel. If someone visits the cow and they need the squirrel then they are big. If the cow needs the tiger and the tiger is big then the tiger eats the cow. If someone visits the cow then the cow eats the squirrel. If someone visits the cow then the cow needs the squirrel. If the tiger is big and the tiger is nice then the tiger is cold. If someone needs the tiger then they eat the bald eagle. If someone is green then they need the cow. If someone visits the tiger and the tiger is nice then they are big.
The cow does not need the cow.
@0: The bald eagle visits the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The squirrel is green.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The squirrel needs the cow.[(((triple3) -> rule7))]