Charlie is big. Harry is quiet. Harry is not red. If Charlie is round then Charlie is rough. All big people are young. If someone is not red then they are big. Big, rough people are young. All round, rough people are not green. All young, red people are round. Red people are not young. If someone is red and not green then they are rough.
Harry is red.