The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle is blue. The cat eats the bald eagle. The cat likes the bald eagle. The squirrel chases the cat. The tiger chases the bald eagle. If something eats the bald eagle and the bald eagle chases the squirrel then the squirrel is rough. If something likes the tiger then the tiger likes the cat. If something is rough then it chases the cat. If something is blue and it eats the tiger then the tiger chases the squirrel. If something chases the tiger and the tiger eats the bald eagle then it likes the bald eagle. If the tiger is rough then the tiger likes the bald eagle. If something is rough and it eats the squirrel then the squirrel chases the bald eagle. If something likes the bald eagle and the bald eagle is green then the bald eagle chases the tiger.
The bald eagle likes the squirrel.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat likes the bald eagle.[(triple5)] The squirrel chases the cat.[(triple6)] The tiger chases the bald eagle.[(triple7)] @1: The tiger chases the squirrel.[(((triple3 triple2) -> rule4))]