Gary is red. Gary is young. Harry is kind. If Gary is young then Gary is smart.
Harry is red.
@0: Gary is red.[(triple1)] Gary is young.[(triple2)] Harry is kind.[(triple3)] @1: Gary is smart.[(((triple2) -> rule1))]