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