The bear does not chase the mouse. The bear is blue. The bear is cold. The bear is green. The bear is nice. The bear is red. The bear needs the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is not blue. The mouse is cold. The mouse is nice. The mouse is not red. The mouse needs the bear. The mouse visits the bear. If something visits the bear and the bear needs the mouse then it is nice. If something chases the mouse and it does not visit the mouse then it does not visit the bear.
The mouse does not need the bear.
@0: The bear does not chase the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear is red.[(triple6)] The bear needs the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is cold.[(triple11)] The mouse is nice.[(triple12 OR ((triple15 triple7) -> rule1))] The mouse is not blue.[(triple10)] The mouse is not red.[(triple13)] The mouse needs the bear.[(triple14)] The mouse visits the bear.[(triple15)]