The bear chases the mouse. The bear is not nice. The bear is red. The bear is rough. The bear is round. The bear is young. The bear needs the mouse. The bear does not see the mouse. The mouse chases the bear. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. The mouse needs the bear. The mouse sees the bear. If someone is red then they chase the mouse. If the mouse is rough then the mouse sees the bear.
The bear does not chase the bear.
@0: The bear chases the mouse.[(triple1 OR ((triple3) -> rule1))] The bear does not see the mouse.[(triple8)] The bear is not nice.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the mouse.[(triple7)] The mouse chases the bear.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] The mouse is young.[(triple14)] The mouse needs the bear.[(triple15)] The mouse sees the bear.[(triple16 OR ((triple12) -> rule2))] @1: The mouse chases the mouse.[(((triple11) -> rule1))]