Harry is quiet. Smart things are furry. If something is cold then it is smart. Smart, rough things are quiet. All quiet things are cold. If something is furry then it is smart. If something is furry and rough then it is smart. If something is nice then it is furry. All nice things are red.
Harry is not smart.
@0: Harry is quiet.[(triple1)] @1: Harry is cold.[(((triple1) -> rule4))] @2: Harry is smart.[(((((triple1) -> rule4)) -> rule2))] @3: Harry is furry.[(((((((triple1) -> rule4)) -> rule2)) -> rule1))]