Anne is not green. Bob is nice. Charlie is not furry. Erin is rough. All furry people are nice. If someone is rough then they are red. If someone is rough and not big then they are red. If someone is red then they are green. All red people are nice. All big, rough people are nice. All big, furry people are not red. Nice people are furry.
Anne is not furry.