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