Charlie is red. Charlie is white. Charlie is young. Fiona is big. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Gary is quiet. Gary is red. Gary is smart. Gary is white. Gary is young. Harry is red. If Fiona is white then Fiona is young. All green, quiet things are young. If something is red and smart then it is white. If something is young and green then it is smart. If something is green then it is big. Red things are green. Green things are quiet. Quiet things are red.
Charlie is not green.