Anne is big. Anne is blue. Dave is kind. Erin is green. Gary is kind. Gary is nice. Gary is red. All smart, big things are green.
Gary is nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Dave is kind.[(triple3)] Erin is green.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7)]