Bob is furry. Bob is kind. Bob is red. Bob is rough. Dave is furry. Dave is kind. Dave is rough. Erin is cold. Gary is not green. Gary is red. All green things are kind. If something is cold and kind then it is not red. If something is rough and not green then it is red.
Dave is not red.