The bald eagle is green. The cat visits the bald eagle. The squirrel eats the bald eagle. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger eats the cat. The tiger visits the cat. If something chases the cat then it is rough. If something visits the tiger then the tiger eats the bald eagle. If something visits the bald eagle then the bald eagle eats the tiger. If something is rough then it eats the cat. If the cat eats the tiger and the tiger chases the squirrel then the squirrel eats the cat. Green things are big. If something eats the bald eagle then it chases the cat. If something visits the bald eagle then the bald eagle is big.
The bald eagle chases the bald eagle.
@0: The bald eagle is green.[(triple1)] The cat visits the bald eagle.[(triple2)] The squirrel eats the bald eagle.[(triple3)] The tiger chases the bald eagle.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger eats the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The bald eagle eats the tiger.[(((triple2) -> rule3))] The bald eagle is big.[(((triple1) -> rule6) OR ((triple2) -> rule8))] The squirrel chases the cat.[(((triple3) -> rule7))] @2: The squirrel is rough.[(((((triple3) -> rule7)) -> rule1))] @3: The squirrel eats the cat.[(((((((triple3) -> rule7)) -> rule1)) -> rule4))]