Charlie is big. Charlie is not blue. Charlie is quiet. Charlie is smart. Charlie is young. Gary is round. Harry is blue. Harry is quiet. Harry is red. Harry is smart. If someone is blue then they are red. If Charlie is blue and Charlie is red then Charlie is not smart. If someone is round then they are blue. All blue people are round. Smart, big people are quiet. If Harry is big and Harry is young then Harry is smart. If someone is not round then they are quiet. If Gary is red and Gary is not quiet then Gary is not smart.
Charlie is not red.