Charlie is cold. Charlie is green. Charlie is rough. Charlie is round. Charlie is young. Fiona is rough. Fiona is not round. Gary is not cold. Gary is green. Gary is red. Gary is rough. Harry is green. If Fiona is big and Fiona is rough then Fiona is not young. If something is rough and not green then it is red. If something is big then it is not round. If something is red and cold then it is young. If something is red then it is big. All red things are rough.
Charlie is not red.