Gary is cold. Gary is not green. Gary is not kind. Gary is quiet. Gary is rough. Gary is not smart. Gary is not young. If someone is cold and kind then they are not green. All kind people are smart. Rough, smart people are quiet.
Gary is green.
@0: Gary is cold.[(triple1)] Gary is not green.[(triple2)] Gary is not kind.[(triple3)] Gary is not smart.[(triple6)] Gary is not young.[(triple7)] Gary is quiet.[(triple4)] Gary is rough.[(triple5)]