The bear does not chase the mouse. The bear does not visit the mouse. The mouse does not like the bear. If the mouse does not like the bear then the mouse does not visit the bear. If something visits the mouse and the mouse is cold then the mouse visits the bear. If something likes the bear then the bear is green. If the mouse likes the bear then the mouse does not chase the bear. If something chases the mouse and the mouse likes the bear then the mouse chases the bear. If something visits the mouse and it likes the bear then it does not visit the bear. If something chases the bear then it visits the mouse. If the mouse chases the bear and the bear is cold then the bear is not big.
The mouse does not like the bear.
@0: The bear does not chase the mouse.[(triple1)] The bear does not visit the mouse.[(triple2)] The mouse does not like the bear.[(triple3)] @1: The mouse does not visit the bear.[(((triple3) -> rule1))]