The bear eats the mouse. The bear is not blue. The bear is not cold. The bear is nice. The bear does not like the mouse. The bear needs the mouse. The mouse eats the bear. The mouse is big. The mouse is blue. The mouse is green. The mouse likes the bear. The mouse needs the bear. If the bear is not green then the bear likes the mouse. If the mouse needs the bear then the mouse is nice. If something eats the bear and the bear needs the mouse then the mouse likes the bear. If something needs the bear and it is not nice then the bear eats the mouse. If something eats the bear then the bear eats the mouse. If something likes the bear and it does not eat the bear then the bear eats the mouse.
The bear does not need the mouse.
@0: The bear does not like the mouse.[(triple5)] The bear eats the mouse.[(triple1 OR ((triple7) -> rule5))] The bear is nice.[(triple4)] The bear is not blue.[(triple2)] The bear is not cold.[(triple3)] The bear needs the mouse.[(triple6)] The mouse eats the bear.[(triple7)] The mouse is big.[(triple8)] The mouse is blue.[(triple9)] The mouse is green.[(triple10)] The mouse likes the bear.[(triple11 OR ((triple7 triple6) -> rule3))] The mouse needs the bear.[(triple12)] @1: The mouse is nice.[(((triple12) -> rule2))]