Charlie is furry. Dave is not furry. Dave is smart. If Charlie is green and Charlie is smart then Charlie is furry. Furry, green people are red. If someone is not round then they are not young. If someone is furry then they are green. If someone is round then they are not cold. If Charlie is red and Charlie is green then Charlie is not round. If Dave is not smart then Dave is not furry. Young, red people are not green.
Dave is not furry.