The bald eagle chases the tiger. The bald eagle is red. The rabbit is blue. The squirrel chases the bald eagle. The squirrel chases the rabbit. The squirrel chases the tiger. The tiger needs the bald eagle. If someone sees the squirrel then the squirrel chases the rabbit. If someone is green and they chase the tiger then the tiger is green. If someone is blue then they chase the bald eagle.
The squirrel is not blue.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is red.[(triple2)] The rabbit is blue.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel chases the tiger.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The rabbit chases the bald eagle.[(((triple3) -> rule3))]