Dave is big. Dave is blue. Dave is smart. If Dave is blue then Dave is furry. If someone is not smart then they are not green. If Dave is green then Dave is blue. If someone is not smart then they are round. If someone is furry and not blue then they are not big. If someone is not big and not furry then they are cold.
Dave is not smart.