The bald eagle chases the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is red. The bald eagle is not round. The bald eagle needs the dog. The bear is big. The bear is round. The bear likes the bald eagle. The bear needs the dog. The dog chases the bald eagle. The dog is red. The dog likes the bald eagle. The dog likes the bear. The dog needs the bear. If someone likes the bear then the bear is cold. If someone is cold then they chase the bear. If someone chases the bear and the bear is red then they are red. If someone is cold and they like the bald eagle then they do not like the bear. If the bald eagle chases the dog then the dog does not chase the bear. If someone chases the bald eagle then the bald eagle likes the dog. If someone chases the bear then the bear likes the dog. If someone chases the bear and they are not red then the bear is big.
The bald eagle needs the dog.
@0: The bald eagle chases the bear.[(triple1 OR ((triple3) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not round.[(triple5)] The bald eagle is red.[(triple4)] The bald eagle needs the dog.[(triple6)] The bear is big.[(triple7)] The bear is round.[(triple8)] The bear likes the bald eagle.[(triple9)] The bear needs the dog.[(triple10)] The dog chases the bald eagle.[(triple11)] The dog is red.[(triple12)] The dog likes the bald eagle.[(triple13)] The dog likes the bear.[(triple14)] The dog needs the bear.[(triple15)] @1: The bald eagle likes the dog.[(((triple11) -> rule6))] The bear is cold.[(((triple14) -> rule1))] The bear likes the dog.[(((triple1) -> rule7) OR ((((triple3) -> rule2)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2)) -> rule7))] @2: The bear chases the bear.[(((((triple14) -> rule1)) -> rule2))] The bear does not like the bear.[(((((triple14) -> rule1) triple9) -> rule4))]