The bear chases the mouse. The bear needs the mouse. The mouse is big. The mouse is rough. The mouse is round. The mouse likes the bear. The mouse does not need the bear. If something likes the mouse then the mouse needs the bear. If the bear chases the mouse then the mouse likes the bear. If the mouse needs the bear then the bear chases the mouse. If something chases the bear then the bear needs the mouse. If something chases the bear then it does not chase the mouse. If something chases the bear and the bear needs the mouse then the mouse is round.
The mouse is green.
@0: The bear chases the mouse.[(triple1)] The bear needs the mouse.[(triple2)] The mouse does not need the bear.[(triple7)] The mouse is big.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)] The mouse likes the bear.[(triple6 OR ((triple1) -> rule2))]