The bald eagle is cold. The bald eagle is green. The bald eagle likes the bear. The bald eagle needs the bear. The bald eagle needs the rabbit. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear is young. The bear likes the rabbit. The bear needs the rabbit. The mouse is nice. The mouse likes the rabbit. The mouse needs the rabbit. The rabbit is nice. The rabbit likes the bald eagle. If the rabbit likes the bald eagle then the rabbit needs the bear. If something is green then it visits the bear. If something is young then it likes the mouse. If something likes the bald eagle then it visits the mouse. If the bald eagle is cold then the bald eagle likes the bear. If something needs the mouse and the mouse is young then the mouse needs the bear. If something likes the mouse then the mouse needs the bald eagle. If something visits the bear and the bear needs the mouse then the bear needs the bald eagle.
The bear likes the mouse.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the bear.[(triple3 OR ((triple1) -> rule5))] The bald eagle needs the bear.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The bald eagle visits the bear.[(triple6 OR ((triple2) -> rule2))] The bald eagle visits the rabbit.[(triple7)] The bear is young.[(triple8)] The bear likes the rabbit.[(triple9)] The bear needs the rabbit.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the rabbit.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit is nice.[(triple14)] The rabbit likes the bald eagle.[(triple15)] @1: The bear likes the mouse.[(((triple8) -> rule3))] The rabbit needs the bear.[(((triple15) -> rule1))] The rabbit visits the mouse.[(((triple15) -> rule4))] @2: The mouse needs the bald eagle.[(((((triple8) -> rule3)) -> rule7))]