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