Charlie is white. Fiona is white. Gary is big. Harry is blue. Harry is green. Harry is red. Harry is smart. If something is white and smart then it is green. All big things are white. If something is green and not big then it is blue. If something is furry and red then it is smart. Red, white things are furry. White things are red. If something is not red then it is furry. If something is not red then it is green. If Charlie is not white and Charlie is not green then Charlie is smart.
Charlie is not white.