Bob is smart. Charlie is cold. Dave is green. Fiona is cold. All nice things are big. If something is green then it is smart. If Dave is green and Dave is smart then Dave is cold. All green things are big. If Charlie is white then Charlie is cold. Smart things are nice.
Dave is not big.