The bald eagle chases the squirrel. The bald eagle is not blue. The bald eagle is cold. The bald eagle is not green. The bald eagle is not red. The bald eagle needs the lion. The bald eagle needs the squirrel. The bald eagle sees the lion. The bald eagle sees the squirrel. The lion is blue. The lion is not cold. The lion is green. The lion is not red. The lion sees the bald eagle. The lion sees the squirrel. The squirrel sees the bald eagle. If someone chases the bald eagle then they are not cold. If someone is green and they chase the squirrel then they are cold. If someone needs the lion and they need the squirrel then the squirrel chases the bald eagle. If the bald eagle is cold and the bald eagle needs the squirrel then the squirrel is not green. If someone sees the lion and the lion needs the bald eagle then they chase the lion. If someone sees the bald eagle and they are not cold then they are blue.
The bald eagle does not chase the lion.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is cold.[(triple3)] The bald eagle is not blue.[(triple2)] The bald eagle is not green.[(triple4)] The bald eagle is not red.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle sees the lion.[(triple8)] The bald eagle sees the squirrel.[(triple9)] The lion is blue.[(triple10 OR ((triple14 triple11) -> rule6))] The lion is green.[(triple12)] The lion is not cold.[(triple11)] The lion is not red.[(triple13)] The lion sees the bald eagle.[(triple14)] The lion sees the squirrel.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The squirrel chases the bald eagle.[(((triple6 triple7) -> rule3))] The squirrel is not green.[(((triple3 triple7) -> rule4))] @2: The squirrel is not cold.[(((((triple6 triple7) -> rule3)) -> rule1))] @3: The squirrel is blue.[(((triple16 ((((triple6 triple7) -> rule3)) -> rule1)) -> rule6))]