The bear chases the squirrel. The bear eats the squirrel. The bear is blue. The bear is cold. The bear is green. The bear is nice. The bear is rough. The bear visits the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel visits the bear. If the bear chases the squirrel and the bear eats the squirrel then the squirrel visits the bear. If something eats the bear and it chases the squirrel then the bear is green. If the squirrel is blue and the squirrel visits the bear then the bear is nice. If something is nice and it visits the bear then the bear chases the squirrel. If something visits the bear then the bear chases the squirrel. If something eats the squirrel then it eats the bear.
The bear does not visit the squirrel.
@0: The bear chases the squirrel.[(triple1 OR ((triple16) -> rule5) OR ((triple14 triple16) -> rule4))] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5 OR ((((triple2) -> rule6) triple1) -> rule2) OR ((((triple2) -> rule6) ((triple16) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((triple14 triple16) -> rule4)) -> rule2))] The bear is nice.[(triple6 OR ((triple11 triple16) -> rule3) OR ((triple11 ((triple1 triple2) -> rule1)) -> rule3))] The bear is rough.[(triple7)] The bear visits the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel is nice.[(triple14)] The squirrel is rough.[(triple15)] The squirrel visits the bear.[(triple16 OR ((triple1 triple2) -> rule1))] @1: The bear eats the bear.[(((triple2) -> rule6))]