Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is white. Dave is blue. Dave is quiet. Dave is red. Dave is rough. If Dave is blue then Dave is red. Furry, rough people are red. Nice, furry people are red. All blue people are furry. All red people are blue. If someone is furry and quiet then they are nice. Nice, rough people are red. If Dave is rough then Dave is red.
Dave is not furry.