Anne is big. Anne is nice. Anne is red. Anne is rough. Anne is white. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is not red. Harry is rough. Harry is not white. Red things are green. If Harry is nice then Harry is furry. All big, furry things are nice. If something is big and not rough then it is not nice. If something is green and not rough then it is furry. If something is furry and not big then it is red. Nice things are furry. If something is not red then it is nice.
Harry is not furry.