Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. If someone is kind and not smart then they are red. If someone is nice and not kind then they are green.
Gary is not red.
@0: Gary is green.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)]