Dave is kind. Dave is round. Dave is white. Erin is kind. Erin is white. Gary is cold. Gary is not kind. Gary is quiet. Gary is not red. Gary is round. Gary is not smart. Gary is white. If something is kind and cold then it is not smart. If Dave is cold then Dave is quiet. All red, cold things are kind. If something is cold and not red then it is round. Red, cold things are round. If something is not cold then it is not quiet. If something is not kind then it is quiet. If Gary is not kind then Gary is white.
Gary is not red.