Bob is not round. Charlie is nice. If someone is nice and round then they are blue. If someone is furry and not round then they are smart. If someone is round and blue then they are kind. If someone is not kind and not round then they are smart. If someone is smart and not blue then they are furry. If Bob is not furry then Bob is nice.
Charlie is not nice.