The bald eagle is green. The bald eagle is red. The bald eagle likes the bear. The bald eagle visits the dog. The bear is cold. The bear is nice. The bear is red. The bear likes the bald eagle. The bear likes the rabbit. The bear visits the bald eagle. The dog is cold. The dog is green. The dog likes the bald eagle. The rabbit eats the dog. The rabbit likes the bald eagle. The rabbit visits the bear. If something eats the bear and the bear visits the rabbit then it visits the rabbit. If the rabbit eats the dog then the dog likes the rabbit. If something visits the bear and the bear is rough then the bear is cold. If something eats the bald eagle and the bald eagle likes the rabbit then it is green. If something is nice and it likes the bald eagle then it visits the bald eagle. If something is nice and cold then it eats the bald eagle. If something likes the rabbit and the rabbit likes the dog then the rabbit eats the bear. If the bald eagle eats the dog and the bald eagle is cold then the dog is nice.
The dog eats the bear.
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle visits the dog.[(triple4)] The bear is cold.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7)] The bear likes the bald eagle.[(triple8)] The bear likes the rabbit.[(triple9)] The bear visits the bald eagle.[(triple10 OR ((triple6 triple8) -> rule5))] The dog is cold.[(triple11)] The dog is green.[(triple12)] The dog likes the bald eagle.[(triple13)] The rabbit eats the dog.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The bear eats the bald eagle.[(((triple6 triple5) -> rule6))] The dog likes the rabbit.[(((triple14) -> rule2))]