Anne is furry. Anne is quiet. Bob is nice. All smart, young things are furry. If something is red and young then it is smart. White, young things are nice. Red things are quiet. White, young things are furry. White things are smart. All quiet, furry things are white. If Anne is smart and Anne is young then Anne is white.
Anne is not smart.