The bald eagle likes the bear. The bald eagle likes the mouse. The bear chases the mouse. The bear is blue. The bear is cold. The bear is kind. The bear is rough. The bear is round. The bear likes the bald eagle. The mouse eats the bald eagle. The mouse eats the rabbit. The mouse is round. The mouse likes the rabbit. The rabbit eats the bald eagle. The rabbit is rough. The rabbit likes the bear. If something chases the bear then the bear likes the mouse. All rough things are cold. If the bear chases the bald eagle and the bald eagle is cold then the bald eagle is rough. If the bald eagle chases the rabbit and the bald eagle likes the mouse then the bald eagle eats the bear. If something is round then it likes the bear. If something eats the bald eagle and the bald eagle is blue then the bald eagle chases the bear.
The mouse does not eat the bear.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bear chases the mouse.[(triple3)] The bear is blue.[(triple4)] The bear is cold.[(triple5 OR ((triple7) -> rule2))] The bear is kind.[(triple6)] The bear is rough.[(triple7)] The bear is round.[(triple8)] The bear likes the bald eagle.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the rabbit.[(triple11)] The mouse is round.[(triple12)] The mouse likes the rabbit.[(triple13)] The rabbit eats the bald eagle.[(triple14)] The rabbit is rough.[(triple15)] The rabbit likes the bear.[(triple16)] @1: The bear likes the bear.[(((triple8) -> rule5))] The mouse likes the bear.[(((triple12) -> rule5))] The rabbit is cold.[(((triple15) -> rule2))]