Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is not red. Erin is big. Erin is nice. If something is smart and cold then it is not nice. All nice, red things are kind. If Anne is blue and Anne is not cold then Anne is kind. If Erin is nice then Erin is not red. If something is not red and not blue then it is smart. Kind, big things are nice.
Anne is not red.