The bald eagle is not kind. The bear likes the bald eagle. The bear likes the mouse. The bear needs the squirrel. The mouse is cold. The mouse is kind. The mouse is round. The mouse likes the bald eagle. The mouse likes the bear. The mouse likes the squirrel. The mouse needs the bald eagle. The mouse needs the bear. The mouse needs the squirrel. The mouse sees the bald eagle. The squirrel is kind. The squirrel does not need the bald eagle. If someone sees the squirrel and the squirrel likes the bear then the bear does not need the bald eagle. If someone sees the bald eagle then the bald eagle needs the mouse. If someone sees the mouse then the mouse is blue. If someone likes the mouse and they do not need the bear then the bear likes the mouse. If someone sees the bear and they see the mouse then the bear is blue. If someone sees the squirrel and the squirrel likes the bald eagle then the squirrel sees the mouse. If someone is round then they see the mouse. All kind people are nice. If someone is blue then they see the bear.
The bear does not see the mouse.
@0: The bald eagle is not kind.[(triple1)] The bear likes the bald eagle.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the squirrel.[(triple4)] The mouse is cold.[(triple5)] The mouse is kind.[(triple6)] The mouse is round.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse likes the bear.[(triple9)] The mouse likes the squirrel.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse needs the bear.[(triple12)] The mouse needs the squirrel.[(triple13)] The mouse sees the bald eagle.[(triple14)] The squirrel does not need the bald eagle.[(triple16)] The squirrel is kind.[(triple15)] @1: The bald eagle needs the mouse.[(((triple14) -> rule2))] The mouse is nice.[(((triple6) -> rule8))] The mouse sees the mouse.[(((triple7) -> rule7))] The squirrel is nice.[(((triple15) -> rule8))] @2: The mouse is blue.[(((((triple7) -> rule7)) -> rule3))] @3: The mouse sees the bear.[(((((((triple7) -> rule7)) -> rule3)) -> rule9))] @4: The bear is blue.[(((((((((triple7) -> rule7)) -> rule3)) -> rule9) ((triple7) -> rule7)) -> rule5))] @5: The bear sees the bear.[(((((((((((triple7) -> rule7)) -> rule3)) -> rule9) ((triple7) -> rule7)) -> rule5)) -> rule9))]