The mouse is not blue. The mouse is kind. The mouse is young. If the mouse is not kind then the mouse is blue. If someone is rough and not blue then they are not green. Young, blue people are rough. If someone is young then they are rough. All green, young people are rough. If someone is rough and blue then they are not young.
The mouse is young.
@0: The mouse is kind.[(triple2)] The mouse is not blue.[(triple1)] The mouse is young.[(triple3)] @1: The mouse is rough.[(((triple3) -> rule4))] @2: The mouse is not green.[(((((triple3) -> rule4) triple1) -> rule2))]