The bear chases the mouse. The bear does not like the lion. The lion chases the mouse. The lion does not need the bear. The lion needs the mouse. The mouse chases the lion. The mouse is kind. The mouse is red. The mouse does not need the bear. The mouse needs the lion. If something likes the mouse then the mouse needs the bear. If something needs the lion and it is kind then the lion needs the mouse. If the bear likes the lion and the lion needs the mouse then the bear is rough.
The bear likes the lion.
@0: The bear chases the mouse.[(triple1)] The bear does not like the lion.[(triple2)] The lion chases the mouse.[(triple3)] The lion does not need the bear.[(triple4)] The lion needs the mouse.[(triple5 OR ((triple10 triple7) -> rule2))] The mouse chases the lion.[(triple6)] The mouse does not need the bear.[(triple9)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse needs the lion.[(triple10)]