The bald eagle is not big. The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle does not like the dog. The bald eagle does not see the dog. The bald eagle visits the dog. The dog is big. The dog is blue. The dog is not kind. The dog is not red. The dog is rough. The dog does not like the bald eagle. The dog sees the bald eagle. The dog visits the bald eagle. If the bald eagle does not visit the dog then the bald eagle sees the dog. If something visits the bald eagle then it does not like the dog. If something likes the bald eagle and it visits the dog then it is rough.
The dog likes the dog.
@0: The bald eagle does not like the dog.[(triple6)] The bald eagle does not see the dog.[(triple7)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not big.[(triple1)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle visits the dog.[(triple8)] The dog does not like the bald eagle.[(triple14)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is not kind.[(triple11)] The dog is not red.[(triple12)] The dog is rough.[(triple13)] The dog sees the bald eagle.[(triple15)] The dog visits the bald eagle.[(triple16)] @1: The dog does not like the dog.[(((triple16) -> rule2))]