Gary is young. Harry is round. If Gary is big and Gary is blue then Gary is green. If something is round then it is young.
Harry is young.
@0: Gary is young.[(triple1)] Harry is round.[(triple2)] @1: Harry is young.[(((triple2) -> rule2))]