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