Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Bob is big. Bob is cold. Bob is not furry. Bob is green. Bob is white. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is not white. If someone is quiet then they are furry. If Anne is cold and Anne is furry then Anne is white. All nice, furry people are cold. If someone is not nice then they are green. White, nice people are green. If someone is not cold and not green then they are not nice.
Erin is not nice.