Anne is big. Anne is blue. Anne is not cold. Anne is furry. Anne is red. Anne is smart. Bob is cold. Bob is furry. Bob is kind. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is smart. Erin is furry. Red people are big. If someone is furry then they are kind. If Erin is not cold then Erin is furry.
Erin is not smart.