Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is red. Charlie is smart. Charlie is white. If Charlie is big then Charlie is red. If Charlie is quiet and Charlie is big then Charlie is smart. Furry, smart people are red. If Charlie is furry then Charlie is big. If someone is blue and furry then they are quiet. If someone is red then they are blue.
Charlie is not red.