Anne is not green. Anne is white. Charlie is red. Charlie is smart. Gary is red. Harry is red. Harry is not round. If Harry is white and Harry is not young then Harry is not red. If Anne is smart and Anne is not red then Anne is green. If someone is big then they are not smart.
Charlie is not white.