The bear eats the mouse. The bear is red. The bear is young. The bear does not see the mouse. The bear visits the mouse. The mouse does not eat the bear. The mouse is rough. The mouse is young. The mouse does not see the bear. The mouse does not visit the bear. Red things are rough. If something sees the bear then the bear visits the mouse. If something visits the bear and the bear sees the mouse then the mouse does not eat the bear. If something eats the mouse and the mouse sees the bear then the mouse eats the bear. If the mouse is cold and the mouse eats the bear then the bear does not eat the mouse. If something visits the mouse then it eats the bear. If something eats the mouse and the mouse visits the bear then the mouse is round. If the bear sees the mouse then the mouse does not visit the bear.
The bear is not red.
@0: The bear does not see the mouse.[(triple4)] The bear eats the mouse.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear visits the mouse.[(triple5)] The mouse does not eat the bear.[(triple6)] The mouse does not see the bear.[(triple9)] The mouse does not visit the bear.[(triple10)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] @1: The bear eats the bear.[(((triple5) -> rule6))] The bear is rough.[(((triple2) -> rule1))]