Bob is kind. Gary is young. Harry is nice. If Gary is cold and Gary is not blue then Gary is nice. If something is nice then it is young. If something is young then it is smart.
Gary is cold.
@0: Bob is kind.[(triple1)] Gary is young.[(triple2)] Harry is nice.[(triple3)] @1: Gary is smart.[(((triple2) -> rule3))] Harry is young.[(((triple3) -> rule2))] @2: Harry is smart.[(((((triple3) -> rule2)) -> rule3))]