Anne is smart. Bob is big. Harry is furry. White things are young. If Bob is furry and Bob is red then Bob is young. All cold, furry things are not big. All white things are not big. If Bob is big then Bob is not smart. If Anne is cold and Anne is big then Anne is smart. If something is big then it is not young. If Anne is big and Anne is not cold then Anne is white.
Anne is young.