The mouse is nice. Young, kind things are nice. If something is round and kind then it is young. If something is nice then it is young. Blue, nice things are kind. Young things are kind. If the mouse is young and the mouse is kind then the mouse is not blue.
The mouse is not young.
@0: The mouse is nice.[(triple1)] @1: The mouse is young.[(((triple1) -> rule3))] @2: The mouse is kind.[(((((triple1) -> rule3)) -> rule5))] @3: The mouse is not blue.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule5)) -> rule6))]