Anne is red. Bob is red. Charlie is big. Gary is kind. Young people are green. Big, round people are young.
Bob is not young.
@0: Anne is red.[(triple1)] Bob is red.[(triple2)] Charlie is big.[(triple3)] Gary is kind.[(triple4)]