Dave is green. Dave is smart. Harry is red. All smart, big things are cold. Smart things are big. If Dave is big and Dave is smart then Dave is round. If Harry is blue then Harry is cold. Big things are green. If something is big and red then it is blue.
Harry is not red.