Anne is kind. Anne is red. Charlie is blue. Charlie is nice. Charlie is red. Charlie is smart. Erin is smart. If someone is not furry then they are smart. All nice people are red. Nice people are not furry. All furry people are kind. If Anne is smart and Anne is blue then Anne is not kind. If someone is furry and not blue then they are not red. If someone is not furry then they are red. If someone is smart then they are red.
Charlie is not nice.