The bear is kind. The bear needs the squirrel. The bear does not see the rabbit. The bear does not visit the squirrel. The rabbit is round. The rabbit needs the bear. The rabbit needs the squirrel. The rabbit sees the bear. The rabbit visits the bear. The rabbit does not visit the squirrel. The squirrel is round. The squirrel does not need the bear. The squirrel needs the rabbit. The squirrel sees the bear. The squirrel sees the rabbit. The squirrel visits the rabbit. If the rabbit is blue and the rabbit visits the squirrel then the squirrel is not round. If something needs the squirrel then the squirrel is round. If something sees the squirrel then it is blue. If something is young and it visits the bear then the bear is young. If something needs the bear then it needs the squirrel. If something is kind and it does not visit the squirrel then it sees the bear. If something is young and it does not need the squirrel then the squirrel is kind. If something visits the bear and it does not see the bear then it visits the rabbit.
The bear is not young.
@0: The bear does not see the rabbit.[(triple3)] The bear does not visit the squirrel.[(triple4)] The bear is kind.[(triple1)] The bear needs the squirrel.[(triple2)] The rabbit does not visit the squirrel.[(triple10)] The rabbit is round.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit needs the squirrel.[(triple7 OR ((triple6) -> rule5))] The rabbit sees the bear.[(triple8)] The rabbit visits the bear.[(triple9)] The squirrel does not need the bear.[(triple12)] The squirrel is round.[(triple11 OR ((triple2) -> rule2) OR ((triple7) -> rule2) OR ((((triple6) -> rule5)) -> rule2))] The squirrel needs the rabbit.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The bear sees the bear.[(((triple1 triple4) -> rule6))]