The bear is big. The bear is green. The bear is kind. The bear is nice. The bear is rough. The bear needs the squirrel. The bear sees the squirrel. The bear visits the squirrel. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel needs the bear. The squirrel sees the bear. The squirrel visits the bear. If the bear needs the squirrel then the squirrel needs the bear. All rough things are big. If something visits the squirrel then it is kind. If something visits the squirrel and the squirrel needs the bear then the bear sees the squirrel. If something needs the squirrel then the squirrel visits the bear. If something needs the squirrel and it is big then it sees the bear.
The bear is not rough.
@0: The bear is big.[(triple1 OR ((triple5) -> rule2))] The bear is green.[(triple2)] The bear is kind.[(triple3 OR ((triple8) -> rule3))] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear needs the squirrel.[(triple6)] The bear sees the squirrel.[(triple7 OR ((triple8 triple14) -> rule4) OR ((triple8 ((triple6) -> rule1)) -> rule4))] The bear visits the squirrel.[(triple8)] The squirrel is big.[(triple9 OR ((triple13) -> rule2))] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel needs the bear.[(triple14 OR ((triple6) -> rule1))] The squirrel sees the bear.[(triple15)] The squirrel visits the bear.[(triple16 OR ((triple6) -> rule5))] @1: The bear sees the bear.[(((triple6 triple1) -> rule6) OR ((triple6 ((triple5) -> rule2)) -> rule6))]