The bear is kind. The bear sees the mouse. The bear sees the squirrel. The bear visits the squirrel. The mouse visits the bear. The mouse visits the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel sees the bear. The squirrel sees the mouse. The squirrel visits the bear. If something sees the mouse then the mouse visits the squirrel.
The mouse does not see the squirrel.
@0: The bear is kind.[(triple1)] The bear sees the mouse.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The mouse visits the bear.[(triple5)] The mouse visits the squirrel.[(triple6 OR ((triple14) -> rule1) OR ((triple2) -> rule1))] The squirrel chases the bear.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel sees the mouse.[(triple14)] The squirrel visits the bear.[(triple15)]