The mouse is kind. If the mouse is rough and the mouse is red then the mouse is green. Kind things are rough. Young things are kind. Rough things are young. All green things are rough. If something is young and red then it is rough.
The mouse is not kind.
@0: The mouse is kind.[(triple1)] @1: The mouse is rough.[(((triple1) -> rule2))] @2: The mouse is young.[(((((triple1) -> rule2)) -> rule4))]