Dave is smart. If someone is cold then they are green. If Dave is red and Dave is quiet then Dave is cold. All big people are green. All smart, quiet people are big. If someone is green and quiet then they are cold. Big people are quiet. If someone is big and red then they are green. All smart people are big.
Dave is quiet.