Charlie is big. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Smart, blue people are quiet. If someone is quiet and smart then they are round. If someone is big then they are nice. If someone is quiet and not big then they are not blue. If someone is nice and not round then they are smart. If Charlie is quiet and Charlie is not smart then Charlie is nice.
Charlie is not red.