Charlie is cold. Dave is cold. Dave is kind. Dave is smart. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is smart. Erin is young. Gary is young. If someone is smart then they are red. If Charlie is cold and Charlie is young then Charlie is big. All smart, cold people are young. Smart, big people are red. All young, big people are kind. Cold people are young. If someone is cold and red then they are smart. All big, kind people are smart.
Erin is not cold.