Harry is rough. If Harry is not kind then Harry is nice. If Harry is rough then Harry is nice. If something is nice and kind then it is cold. Nice things are cold. If Harry is cold and Harry is rough then Harry is smart. If something is nice and cold then it is rough. If something is white and not cold then it is smart. If something is nice and smart then it is not white.
Harry is not nice.
@0: Harry is rough.[(triple1)] @1: Harry is nice.[(((triple1) -> rule2))] @2: Harry is cold.[(((((triple1) -> rule2)) -> rule4))] @3: Harry is smart.[(((((((triple1) -> rule2)) -> rule4) triple1) -> rule5))] @4: Harry is not white.[(((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule4) triple1) -> rule5)) -> rule8))]