The bear eats the mouse. The bear is blue. The bear is rough. The bear likes the mouse. The bear sees the mouse. The mouse eats the bear. The mouse likes the bear. If something is kind then it likes the mouse. If something is blue then it is kind.
The mouse is not kind.
@0: The bear eats the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear likes the mouse.[(triple4 OR ((((triple2) -> rule2)) -> rule1))] The bear sees the mouse.[(triple5)] The mouse eats the bear.[(triple6)] The mouse likes the bear.[(triple7)] @1: The bear is kind.[(((triple2) -> rule2))]