Charlie is cold. Dave is smart. Gary is quiet. Harry is cold. Big, smart people are cold. If someone is furry and big then they are green. Smart, quiet people are furry. All smart, cold people are quiet. If Dave is green and Dave is cold then Dave is quiet. If someone is cold then they are smart.
Dave is not big.