The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is young. The bear eats the dog. The bear sees the bald eagle. The bear sees the dog. The dog eats the bald eagle. The dog eats the bear. The dog visits the bald eagle. The rabbit visits the bear. If someone visits the rabbit and they are young then the rabbit sees the bald eagle. If someone sees the rabbit and they visit the bald eagle then the bald eagle eats the rabbit. If someone sees the bald eagle and they are blue then they eat the bear. If someone sees the bald eagle then the bald eagle is young. If someone eats the bear and they are cold then they eat the dog. If the dog is young and the dog visits the rabbit then the dog sees the bear. If someone eats the bear then they are big. If the rabbit is young and the rabbit is big then the rabbit visits the bear.
The bear does not visit the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is young.[(triple3 OR ((triple5) -> rule4))] The bear eats the dog.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear sees the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the bear.[(triple8)] The dog visits the bald eagle.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The dog is big.[(((triple8) -> rule7))]