Charlie is big. Charlie is round. Charlie is not white. Charlie is young. Dave is big. Dave is not green. Dave is red. Dave is round. Dave is white. Harry is big. Harry is green. Harry is young. If something is big and not blue then it is red. If something is blue and green then it is red. All round, green things are young. If something is young and red then it is round. If something is big and not green then it is red. If something is white and not big then it is round.
Charlie is green.