Anne is cold. Anne is kind. Charlie is kind. All kind, red people are furry. All cold, kind people are smart. All cold, smart people are green. Green people are rough. All red, kind people are cold. All kind people are cold.
Charlie is not kind.