Charlie is red. Fiona is smart. Gary is green. Harry is round. Quiet, blue things are not big. If something is not green then it is smart. If something is round and not big then it is smart. Quiet, red things are not blue. Smart, red things are not green. Big things are quiet.
Charlie is green.