Anne is green. Gary is smart. Harry is rough. If Anne is not nice then Anne is not rough. Green people are furry. If someone is furry and not green then they are not nice. If Anne is not green then Anne is blue. If someone is furry and not smart then they are not nice. All rough, furry people are blue.
Anne is not nice.