The bald eagle likes the mouse. The bald eagle visits the bear. The bear likes the bald eagle. The bear likes the rabbit. The bear visits the rabbit. The mouse chases the bald eagle. The mouse is nice. The mouse likes the bald eagle. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit chases the mouse. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit likes the bear. The rabbit likes the mouse. If something chases the mouse and the mouse likes the bear then the bear is round. If something visits the mouse then it likes the rabbit. If something likes the rabbit and it visits the bald eagle then the rabbit likes the mouse. If something likes the mouse and it visits the bald eagle then the bald eagle is young. If something chases the bear then the bear is cold. If something is nice and it visits the mouse then the mouse visits the bald eagle.
The bear likes the mouse.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear likes the bald eagle.[(triple3)] The bear likes the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the bald eagle.[(triple8)] The rabbit chases the bald eagle.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the mouse.[(triple16)] @1: The bear is cold.[(((triple10) -> rule5))]