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