Bob is big. Bob is not cold. Bob is not furry. Bob is green. Charlie is cold. Charlie is not furry. Erin is big. Erin is not blue. Erin is cold. Erin is not furry. Erin is quiet. Erin is red. All blue people are cold. If someone is not blue then they are quiet. Quiet people are red. All red, quiet people are green. If someone is furry and quiet then they are green. If someone is quiet and not cold then they are not blue.
Charlie is not red.