Bob is blue. Bob is furry. Bob is kind. Bob is red. Bob is round. Charlie is furry. Charlie is red. Charlie is rough. Charlie is round. Erin is not blue. Erin is nice. Erin is rough. If someone is nice then they are not furry. If Charlie is nice then Charlie is blue. If someone is nice and not round then they are not blue. If Charlie is nice and Charlie is not round then Charlie is red. All kind, rough people are furry. All red people are kind. If someone is furry and not blue then they are red. If someone is not kind then they are not red.
Charlie is nice.