The bear needs the mouse. The bear needs the rabbit. The bear sees the rabbit. The bear sees the squirrel. The bear visits the mouse. The bear visits the squirrel. The mouse is young. The mouse needs the squirrel. The mouse visits the bear. The mouse visits the squirrel. The rabbit is nice. The rabbit visits the bear. The rabbit visits the mouse. The squirrel sees the mouse. The squirrel visits the rabbit. If something visits the rabbit then the rabbit needs the bear. If something sees the squirrel and the squirrel sees the mouse then the mouse visits the bear. If something sees the squirrel then it visits the bear.
The mouse is not young.
@0: The bear needs the mouse.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the rabbit.[(triple3)] The bear sees the squirrel.[(triple4)] The bear visits the mouse.[(triple5)] The bear visits the squirrel.[(triple6)] The mouse is young.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse visits the bear.[(triple9 OR ((triple4 triple14) -> rule2))] The mouse visits the squirrel.[(triple10)] The rabbit is nice.[(triple11)] The rabbit visits the bear.[(triple12)] The rabbit visits the mouse.[(triple13)] The squirrel sees the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The bear visits the bear.[(((triple4) -> rule3))] The rabbit needs the bear.[(((triple15) -> rule1))]