Anne is rough. Anne is not smart. Bob is big. Bob is not furry. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is quiet. Charlie is red. Erin is furry. Erin is not quiet. Erin is not white. Big, red people are quiet. If Anne is white then Anne is not furry. All rough, furry people are red. If someone is red then they are rough. If someone is white and furry then they are rough. Smart, big people are not furry. Big, furry people are white. If someone is not white then they are furry.
Anne is red.