The bald eagle chases the rabbit. The bear chases the dog. The bear does not chase the rabbit. The bear is blue. The bear is red. The dog chases the bear. The dog eats the bald eagle. The dog is not nice. The dog visits the bald eagle. The rabbit eats the bald eagle. The rabbit visits the bald eagle. The rabbit does not visit the bear. If something is round then it chases the bear. If something is red and blue then it visits the bear. If something is nice then it visits the bear. If the bear chases the bald eagle then the bear does not chase the rabbit. If something chases the rabbit then the rabbit chases the bear. If something visits the rabbit and it is red then it is not big. If the dog chases the bald eagle then the dog is round. If the bear eats the bald eagle then the bear is nice.
The bear is not red.
@0: The bald eagle chases the rabbit.[(triple1)] The bear chases the dog.[(triple2)] The bear does not chase the rabbit.[(triple3)] The bear is blue.[(triple4)] The bear is red.[(triple5)] The dog chases the bear.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is not nice.[(triple8)] The dog visits the bald eagle.[(triple9)] The rabbit does not visit the bear.[(triple12)] The rabbit eats the bald eagle.[(triple10)] The rabbit visits the bald eagle.[(triple11)] @1: The bear visits the bear.[(((triple5 triple4) -> rule2))] The rabbit chases the bear.[(((triple1) -> rule5))]