Bob is blue. Charlie is red. Gary is rough. Harry is round. If something is white then it is round. If something is red and cold then it is round. If Bob is cold and Bob is red then Bob is white. All blue things are red. If something is red then it is cold. If Charlie is white then Charlie is rough.
Charlie is cold.