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