The bald eagle is young. The bald eagle likes the bear. The bald eagle likes the mouse. The bald eagle needs the bear. The bear likes the bald eagle. The bear needs the mouse. The bear does not visit the mouse. The cow is young. The cow likes the bear. The cow needs the bear. The cow visits the bald eagle. The mouse is kind. The mouse is young. The mouse likes the bear. The mouse needs the cow. If the bald eagle likes the cow and the bald eagle needs the bear then the bald eagle is big. If the mouse visits the bear then the bear does not need the cow. If something likes the cow and it does not visit the bear then the bear is kind. If something needs the cow then the cow does not like the mouse. If something is big and blue then it does not need the cow. If something likes the bald eagle then the bald eagle visits the cow. If the cow needs the bear then the cow is not kind. If something needs the cow and the cow does not like the mouse then the mouse is not nice.
The mouse is not nice.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear does not visit the mouse.[(triple7)] The bear likes the bald eagle.[(triple5)] The bear needs the mouse.[(triple6)] The cow is young.[(triple8)] The cow likes the bear.[(triple9)] The cow needs the bear.[(triple10)] The cow visits the bald eagle.[(triple11)] The mouse is kind.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bear.[(triple14)] The mouse needs the cow.[(triple15)] @1: The bald eagle visits the cow.[(((triple5) -> rule6))] The cow does not like the mouse.[(((triple15) -> rule4))] The cow is not kind.[(((triple10) -> rule7))] @2: The mouse is not nice.[(((triple15 ((triple15) -> rule4)) -> rule8))]