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