Anne is green. Anne is young. Bob is blue. Bob is furry. Bob is green. Charlie is green. Charlie is nice. Charlie is young. Dave is green. Dave is young. If something is red then it is not green. All blue things are not nice. If something is blue and rough then it is green. If something is rough then it is green. All red, young things are not rough. If something is blue and nice then it is not red. If something is rough and not red then it is not nice. All green, furry things are not red.
Anne is not green.