Dave is big. Dave is cold. Dave is quiet. All big people are rough. All big, smart people are quiet. If someone is not furry then they are quiet. All furry people are not rough. If Dave is cold and Dave is furry then Dave is red. If Dave is red then Dave is rough. Quiet people are red. If someone is not red then they are not smart.
Dave is not big.