Anne is cold. Anne is red. Anne is smart. Anne is white. Bob is big. Bob is cold. Charlie is cold. Charlie is kind. Charlie is smart. Erin is not big. Erin is cold. Erin is kind. Erin is red. Erin is not rough. Erin is smart. Erin is white. If Erin is red then Erin is smart.
Anne is not smart.