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