Charlie is nice. Charlie is young. Erin is white. Gary is nice. Gary is quiet. Gary is round. Gary is young. If something is quiet then it is white. If something is smart and round then it is young.
Gary is smart.
@0: Charlie is nice.[(triple1)] Charlie is young.[(triple2)] Erin is white.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Gary is white.[(((triple5) -> rule1))]