Anne is blue. Anne is young. Charlie is blue. Charlie is quiet. Charlie is young. Gary is blue. Gary is white. Quiet, young people are kind.
Gary is big.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Charlie is kind.[(((triple4 triple5) -> rule1))]