Dave is cold. Harry is blue. Harry is round. If Harry is smart then Harry is cold. Blue people are red. Blue people are big. Cold people are big. Big people are smart. If Dave is cold then Dave is big.
Harry is red.