Bob is round. Charlie is red. Harry is white. White, rough people are green. If Harry is white then Harry is red. All round, big people are white. Red people are furry. All red people are big. Red, big people are green.
Charlie is red.