The bald eagle eats the bear. The bald eagle is blue. The bald eagle is green. The bald eagle likes the dog. The bald eagle visits the bear. The bald eagle visits the dog. The bear eats the dog. The bear is nice. The bear likes the dog. The dog eats the bald eagle. The dog eats the bear. The dog is blue. The dog likes the bald eagle. The dog likes the bear. The dog visits the bear. If someone eats the dog and they eat the bald eagle then the bald eagle visits the dog. If someone likes the dog and they visit the bald eagle then the bald eagle is green. If someone visits the bear then the bear is green.
The dog likes the dog.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the dog.[(triple6)] The bear eats the dog.[(triple7)] The bear is nice.[(triple8)] The bear likes the dog.[(triple9)] The dog eats the bald eagle.[(triple10)] The dog eats the bear.[(triple11)] The dog is blue.[(triple12)] The dog likes the bald eagle.[(triple13)] The dog likes the bear.[(triple14)] The dog visits the bear.[(triple15)] @1: The bear is green.[(((triple15) -> rule3) OR ((triple5) -> rule3))]