Harry is cold. Harry is nice. Harry is quiet. All quiet, blue people are smart. Cold people are blue.
Harry is not blue.
@0: Harry is cold.[(triple1)] Harry is nice.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is blue.[(((triple1) -> rule2))] @2: Harry is smart.[(((triple3 ((triple1) -> rule2)) -> rule1))]