Dave is cold. Harry is cold. Harry is nice. Round, cold things are big. If Dave is nice and Dave is white then Dave is not red. If something is cold then it is round. If something is nice then it is big. If something is big and not rough then it is nice. If something is not nice then it is cold.
Harry is white.