The bear eats the mouse. The bear is not cold. The mouse does not eat the bear. If something is green then it is not round. If something eats the mouse and it eats the bear then the mouse does not see the bear. If the mouse eats the bear and the mouse is not blue then the bear does not eat the mouse. If something eats the mouse then the mouse is green. If something sees the mouse then it is green. If the mouse is not round then the mouse chases the bear.
The bear does not see the mouse.
@0: The bear eats the mouse.[(triple1)] The bear is not cold.[(triple2)] The mouse does not eat the bear.[(triple3)] @1: The mouse is green.[(((triple1) -> rule4))] @2: The mouse is not round.[(((((triple1) -> rule4)) -> rule1))] @3: The mouse chases the bear.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))]