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