The bald eagle is nice. The bear likes the bald eagle. The dog needs the bald eagle. If the bald eagle does not like the bear and the bald eagle does not like the dog then the dog eats the bald eagle. If the bald eagle eats the bear then the bear does not eat the dog. If the bald eagle is nice then the bald eagle is not cold. If someone is cold then they need the bear. If someone eats the bear and the bear does not eat the dog then the dog does not like the bear. If someone likes the bear then the bear needs the bald eagle. If someone needs the bald eagle then they like the bald eagle. If someone likes the bear then the bear eats the bald eagle.
The bald eagle is not nice.
@0: The bald eagle is nice.[(triple1)] The bear likes the bald eagle.[(triple2)] The dog needs the bald eagle.[(triple3)] @1: The bald eagle is not cold.[(((triple1) -> rule3))] The dog likes the bald eagle.[(((triple3) -> rule7))]