Anne is round. Charlie is young. Gary is round. All white people are young. Young, red people are rough.
Gary is not young.
@0: Anne is round.[(triple1)] Charlie is young.[(triple2)] Gary is round.[(triple3)]