Anne is white. Charlie is cold. Dave is big. Harry is not cold. If Charlie is round and Charlie is not blue then Charlie is white. If someone is not smart then they are round. All kind people are not big. All white people are kind. If Anne is smart then Anne is not round. If Dave is cold and Dave is white then Dave is blue.
Dave is not big.