The bald eagle chases the bear. The bald eagle eats the dog. The bald eagle is cold. The bald eagle is rough. The bald eagle is round. The bear chases the bald eagle. The bear chases the dog. The bear is cold. The bear is red. The dog chases the bear. The dog eats the bald eagle. The dog is not cold. If something eats the dog and it does not chase the bald eagle then the bald eagle does not like the bear. If something chases the bear then it likes the bear. If something chases the bear and it is not round then it does not eat the dog.
The bear does not like the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear chases the dog.[(triple7)] The bear is cold.[(triple8)] The bear is red.[(triple9)] The dog chases the bear.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog is not cold.[(triple12)] @1: The bald eagle likes the bear.[(((triple1) -> rule2))] The dog likes the bear.[(((triple10) -> rule2))]