Fiona is not smart. Gary is kind. Harry is not cold. If something is smart then it is cold. If Gary is kind then Gary is smart.
Harry is not quiet.
@0: Fiona is not smart.[(triple1)] Gary is kind.[(triple2)] Harry is not cold.[(triple3)] @1: Gary is smart.[(((triple2) -> rule2))] @2: Gary is cold.[(((((triple2) -> rule2)) -> rule1))]