Anne is blue. Bob is kind. Erin is red. Fiona is cold. If someone is not kind then they are cold. If Anne is blue and Anne is not kind then Anne is not smart. If Anne is kind then Anne is cold. If Anne is round and Anne is not smart then Anne is cold. If someone is green and blue then they are red. All kind, red people are green.
Bob is not kind.