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