The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is cold. The bald eagle likes the dog. The bald eagle needs the dog. The dog chases the bald eagle. The dog chases the squirrel. The dog is blue. The dog needs the bald eagle. The squirrel chases the dog. The squirrel is blue. The squirrel is young. The squirrel likes the bald eagle. The squirrel likes the dog. The squirrel needs the bald eagle. The squirrel needs the dog. If the dog chases the squirrel then the dog needs the bald eagle. Blue things are cold. If something likes the bald eagle then it chases the bald eagle. If something is blue then it needs the squirrel. If something needs the bald eagle then the bald eagle is red. If something chases the dog and it chases the squirrel then the dog needs the bald eagle.
The bald eagle does not chase the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle needs the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the squirrel.[(triple7)] The dog is blue.[(triple8)] The dog needs the bald eagle.[(triple9 OR ((triple7) -> rule1) OR ((triple1 triple2) -> rule6))] The squirrel chases the dog.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The bald eagle is red.[(((triple15) -> rule5) OR ((triple9) -> rule5) OR ((((triple7) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6)) -> rule5))] The dog is cold.[(((triple8) -> rule2))] The dog needs the squirrel.[(((triple8) -> rule4))] The squirrel chases the bald eagle.[(((triple13) -> rule3))] The squirrel is cold.[(((triple11) -> rule2))] The squirrel needs the squirrel.[(((triple11) -> rule4))]