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