Bob is nice. Dave is furry. Dave is kind. Dave is red. Dave is smart. Dave is white. Dave is young. Erin is kind. Erin is white. Harry is furry. Harry is smart. If someone is red then they are nice. All smart people are furry. Kind, furry people are young. Kind, white people are smart. If Erin is young and Erin is red then Erin is nice. Smart people are white. All young, white people are red. Young people are red. If someone is red then they are furry.
Erin is not red.