Bob is nice. Charlie is nice. Dave is furry. All quiet, white things are furry. All cold things are red. Nice things are kind. All kind, red things are furry. If Charlie is quiet then Charlie is kind. All red things are cold.
Dave is red.