The bald eagle chases the squirrel. The bald eagle is cold. The bald eagle is red. The bald eagle is young. The bear eats the dog. The bear is blue. The bear is kind. The bear likes the bald eagle. The dog chases the squirrel. The dog is red. The dog is young. The squirrel chases the dog. The squirrel eats the bald eagle. The squirrel eats the dog. The squirrel is young. The squirrel likes the bear. If something is kind and blue then it chases the bald eagle. If something is cold and red then it chases the bald eagle. If something chases the dog then the dog is blue. If something chases the dog and it likes the bald eagle then the bald eagle likes the dog. If something chases the bald eagle then the bald eagle likes the dog. If something likes the squirrel then it is blue. If something eats the bald eagle and the bald eagle is young then it chases the bear. If something is red and blue then it chases the bald eagle.
The squirrel eats the dog.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4)] The bear eats the dog.[(triple5)] The bear is blue.[(triple6)] The bear is kind.[(triple7)] The bear likes the bald eagle.[(triple8)] The dog chases the squirrel.[(triple9)] The dog is red.[(triple10)] The dog is young.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel eats the bald eagle.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the bear.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple2 triple3) -> rule2))] The bear chases the bald eagle.[(((triple7 triple6) -> rule1))] The dog is blue.[(((triple12) -> rule3))] The squirrel chases the bear.[(((triple13 triple4) -> rule7))] @2: The bald eagle likes the dog.[(((((triple2 triple3) -> rule2)) -> rule5) OR ((((triple7 triple6) -> rule1)) -> rule5) OR ((((triple10 ((triple12) -> rule3)) -> rule8)) -> rule5))] The dog chases the bald eagle.[(((triple10 ((triple12) -> rule3)) -> rule8))]