Anne is quiet. Bob is smart. Gary is rough. Harry is not rough. If Bob is quiet and Bob is blue then Bob is kind. Smart things are quiet. If something is blue then it is kind. If something is cold and not rough then it is not kind. Smart, blue things are not cold. All rough things are cold. Cold things are smart. If something is smart and not cold then it is not nice.
Harry is not kind.
@0: Anne is quiet.[(triple1)] Bob is smart.[(triple2)] Gary is rough.[(triple3)] Harry is not rough.[(triple4)] @1: Bob is quiet.[(((triple2) -> rule2))] Gary is cold.[(((triple3) -> rule6))] @2: Gary is smart.[(((((triple3) -> rule6)) -> rule7))] @3: Gary is quiet.[(((((((triple3) -> rule6)) -> rule7)) -> rule2))]