Dave is furry. Dave is nice. Dave is not round. If Dave is nice then Dave is rough. All furry, blue people are nice. If someone is red then they are blue. If Dave is red then Dave is white. If someone is not round then they are rough. If someone is rough and nice then they are white. All white people are blue. If Dave is white and Dave is not blue then Dave is not round.
Dave is not rough.