Anne is not blue. Anne is not quiet. Anne is red. Anne is smart. Dave is furry. Dave is red. Dave is white. Erin is blue. Erin is not white. Harry is not kind. If someone is blue and kind then they are not smart. If someone is not white then they are furry. All blue, furry people are not smart. If Erin is red and Erin is not white then Erin is smart. If someone is kind and furry then they are not red. If someone is not smart then they are quiet.
Erin is not quiet.