The bear eats the squirrel. The bear is big. The bear is green. The bear is kind. The bear is rough. The bear is round. The bear sees the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel sees the bear. The squirrel visits the bear. If someone eats the squirrel and the squirrel visits the bear then the bear eats the squirrel. If someone sees the squirrel and the squirrel is green then the squirrel visits the bear. If someone is rough then they see the squirrel.
The bear sees the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear sees the squirrel.[(triple7 OR ((triple5) -> rule3))] The bear visits the squirrel.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel visits the bear.[(triple16 OR ((triple7 triple11) -> rule2) OR ((((triple13) -> rule3) triple11) -> rule2) OR ((((triple5) -> rule3) triple11) -> rule2))] @1: The squirrel sees the squirrel.[(((triple13) -> rule3))]