The bald eagle does not chase the squirrel. The bald eagle is not cold. The bald eagle is not round. The bald eagle is not young. The bald eagle likes the mouse. The bald eagle does not need the mouse. The bald eagle needs the squirrel. The bald eagle needs the tiger. The mouse is round. The mouse does not like the bald eagle. The mouse needs the bald eagle. The squirrel chases the tiger. The squirrel likes the tiger. The tiger is cold. The tiger likes the squirrel. Young things are red. If the mouse is round and the mouse needs the squirrel then the mouse is not young. If something needs the bald eagle and it chases the tiger then the bald eagle likes the mouse. If something likes the squirrel then it is young. If the mouse likes the bald eagle and the mouse does not like the tiger then the bald eagle chases the mouse. If something likes the squirrel then the squirrel chases the tiger.
The mouse is not red.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle does not need the mouse.[(triple6)] The bald eagle is not cold.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle is not young.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle needs the squirrel.[(triple7)] The bald eagle needs the tiger.[(triple8)] The mouse does not like the bald eagle.[(triple10)] The mouse is round.[(triple9)] The mouse needs the bald eagle.[(triple11)] The squirrel chases the tiger.[(triple12 OR ((triple15) -> rule6))] The squirrel likes the tiger.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The tiger is young.[(((triple15) -> rule4))] @2: The tiger is red.[(((((triple15) -> rule4)) -> rule1))]