Anne is smart. If something is smart then it is cold. All cold things are green. If something is smart and not red then it is furry. Green, furry things are rough. If Anne is not nice then Anne is smart. If something is red and not furry then it is cold. If something is not rough then it is green. If Anne is not furry then Anne is smart.
Anne is not red.