The bald eagle chases the dog. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle likes the dog. The bald eagle needs the dog. The dog chases the bald eagle. The dog is nice. The dog is red. The dog likes the bald eagle. The dog needs the bald eagle. If something needs the bald eagle then it chases the dog. If something is red then it likes the dog. If the dog chases the bald eagle and the dog is red then the dog is big. If something is blue and it likes the dog then it likes the bald eagle. If something is nice and it likes the bald eagle then it chases the bald eagle. If the dog is blue and the dog needs the bald eagle then the dog chases the bald eagle.
The bald eagle is not blue.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle likes the dog.[(triple6)] The bald eagle needs the dog.[(triple7)] The dog chases the bald eagle.[(triple8 OR ((triple9 triple11) -> rule5))] The dog is nice.[(triple9)] The dog is red.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple3 triple6) -> rule4))] The dog chases the dog.[(((triple12) -> rule1))] The dog is big.[(((triple8 triple10) -> rule3) OR ((((triple9 triple11) -> rule5) triple10) -> rule3))] The dog likes the dog.[(((triple10) -> rule2))] @2: The bald eagle chases the bald eagle.[(((triple5 ((triple3 triple6) -> rule4)) -> rule5))]