Charlie is young. Gary is blue. If something is young then it is blue. Young, kind things are big.
Gary is big.
@0: Charlie is young.[(triple1)] Gary is blue.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule1))]