The bear eats the mouse. The bear is round. The bear sees the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is rough. The mouse sees the bear. If something chases the mouse and it is blue then it eats the bear. If something sees the mouse and the mouse sees the bear then the bear sees the mouse. If the bear eats the mouse then the mouse chases the bear. If something eats the mouse then it sees the mouse. If something sees the mouse then it is blue. If something chases the mouse then the mouse does not eat the bear.
The mouse is not blue.
@0: The bear eats the mouse.[(triple1)] The bear is round.[(triple2)] The bear sees the mouse.[(triple3 OR ((triple1) -> rule4))] The mouse chases the bear.[(triple4 OR ((triple1) -> rule3))] The mouse eats the bear.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the bear.[(triple7)] @1: The bear is blue.[(((triple3) -> rule5) OR ((((triple1) -> rule4)) -> rule5))]