Harry is cold. Harry is nice. Harry is not quiet. If something is kind and not nice then it is green. If Harry is cold then Harry is green.
Harry is quiet.
@0: Harry is cold.[(triple1)] Harry is nice.[(triple2)] Harry is not quiet.[(triple3)] @1: Harry is green.[(((triple1) -> rule2))]