The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is cold. The bald eagle does not need the dog. The bald eagle needs the rabbit. The bald eagle does not visit the dog. The bald eagle visits the rabbit. The dog is big. The dog is nice. The dog needs the rabbit. The rabbit eats the bald eagle. The rabbit does not eat the dog. The rabbit needs the dog. The rabbit visits the bald eagle. The rabbit visits the dog. If the rabbit does not need the bald eagle then the rabbit eats the bald eagle. If someone visits the bald eagle then the bald eagle visits the rabbit. If the rabbit does not visit the dog then the rabbit is nice. If someone needs the bald eagle then they eat the bald eagle. If the bald eagle eats the rabbit then the bald eagle is big. If someone visits the dog and they are not nice then the dog is big.
The bald eagle is not cold.
@0: The bald eagle does not need the dog.[(triple5)] The bald eagle does not visit the dog.[(triple7)] The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is big.[(triple3 OR ((triple2) -> rule5))] The bald eagle is cold.[(triple4)] The bald eagle needs the rabbit.[(triple6)] The bald eagle visits the rabbit.[(triple8 OR ((triple15) -> rule2))] The dog is big.[(triple9)] The dog is nice.[(triple10)] The dog needs the rabbit.[(triple11)] The rabbit does not eat the dog.[(triple13)] The rabbit eats the bald eagle.[(triple12)] The rabbit needs the dog.[(triple14)] The rabbit visits the bald eagle.[(triple15)] The rabbit visits the dog.[(triple16)]