Bob is big. Bob is not cold. Bob is smart. Dave is big. Dave is cold. Dave is rough. Dave is white. Erin is big. Erin is cold. Erin is not kind. Erin is rough. Erin is smart. Erin is white. Harry is big. Harry is rough. Harry is smart. If something is rough then it is white. All kind, green things are not white. Big, white things are not kind. If something is cold and not big then it is not kind. Big, smart things are not kind. If something is smart and not green then it is rough.
Erin is not smart.