Charlie is furry. Dave is furry. Dave is not quiet. Dave is not red. Dave is rough. Dave is round. Gary is big. Gary is furry. Gary is not rough. Gary is round. Rough, round people are not red. If someone is furry then they are round. Rough, smart people are red. All quiet, big people are smart. If someone is red then they are furry. If Dave is not big and Dave is not round then Dave is not rough.
Dave is not big.