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.
Fiona is young.
@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))]