The bald eagle is big. The bald eagle likes the dog. The bear chases the bald eagle. The bear does not chase the dog. The bear is big. The dog chases the bald eagle. The dog is not blue. The dog is nice. The dog likes the bear. The dog visits the bald eagle. If something visits the dog and it does not like the bear then it is red. Nice things are red. If something is red then it visits the dog.
The dog does not visit the dog.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the dog.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear does not chase the dog.[(triple4)] The bear is big.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is nice.[(triple8)] The dog is not blue.[(triple7)] The dog likes the bear.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The dog is red.[(((triple8) -> rule2))] @2: The dog visits the dog.[(((((triple8) -> rule2)) -> rule3))]