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