Harry is quiet. If Harry is nice then Harry is not furry. If something is quiet then it is kind. If something is kind then it is nice. Furry, quiet things are cold. Green things are not smart. If Harry is not nice then Harry is green.
Harry is nice.
@0: Harry is quiet.[(triple1)] @1: Harry is kind.[(((triple1) -> rule2))] @2: Harry is nice.[(((((triple1) -> rule2)) -> rule3))] @3: Harry is not furry.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]