The bear does not chase the mouse. The bear eats the mouse. The bear is blue. The bear is not cold. The bear is not green. The bear is round. The bear is young. The bear does not need the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is blue. The mouse needs the bear. If something is cold and not blue then it eats the bear. If something needs the bear and it is blue then it eats the bear. If something eats the bear then the bear is round. If something needs the bear and it eats the mouse then it does not chase the mouse. If something needs the mouse and it is not cold then it chases the bear. If something is cold and not blue then it needs the bear.
The bear does not chase the mouse.
@0: The bear does not chase the mouse.[(triple1)] The bear does not need the mouse.[(triple8)] The bear eats the mouse.[(triple2)] The bear is blue.[(triple3)] The bear is not cold.[(triple4)] The bear is not green.[(triple5)] The bear is round.[(triple6 OR ((triple10) -> rule3) OR ((((triple12 triple11) -> rule2)) -> rule3))] The bear is young.[(triple7)] The mouse chases the bear.[(triple9)] The mouse eats the bear.[(triple10 OR ((triple12 triple11) -> rule2))] The mouse is blue.[(triple11)] The mouse needs the bear.[(triple12)]