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 not 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)]