Dave is big. Fiona is not red. Harry is rough. If something is smart and white then it is cold. If Dave is cold then Dave is quiet. If something is cold then it is rough. All smart, white things are red. If Dave is big then Dave is cold. If something is rough and smart then it is red. If something is quiet then it is not white. If Fiona is cold and Fiona is quiet then Fiona is rough.
Dave is white.