The bald eagle chases the tiger. The bald eagle is young. The bald eagle does not like the squirrel. The bald eagle likes the tiger. The bald eagle does not see the tiger. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is blue. The squirrel is red. The squirrel is round. The squirrel likes the bald eagle. The tiger is blue. The tiger is red. The tiger is not round. The tiger likes the bald eagle. If someone sees the tiger then the tiger chases the squirrel. If someone sees the bald eagle then the bald eagle is young. If the squirrel is young then the squirrel does not see the tiger. If someone is round and red then they chase the bald eagle. If someone is round and they do not chase the tiger then they are red. If someone likes the bald eagle then they are young.
The bald eagle is not red.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not like the squirrel.[(triple3)] The bald eagle does not see the tiger.[(triple5)] The bald eagle is young.[(triple2)] The bald eagle likes the tiger.[(triple4)] The squirrel chases the bald eagle.[(triple6 OR ((triple10 triple9) -> rule4))] The squirrel chases the tiger.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The tiger is blue.[(triple12)] The tiger is not round.[(triple14)] The tiger is red.[(triple13)] The tiger likes the bald eagle.[(triple15)] @1: The squirrel is young.[(((triple11) -> rule6))] The tiger is young.[(((triple15) -> rule6))] @2: The squirrel does not see the tiger.[(((((triple11) -> rule6)) -> rule3))]