Anne is furry. Bob is young. Gary is quiet. Harry is cold. If Gary is cold and Gary is green then Gary is smart. Furry things are quiet. Young things are furry. All furry, quiet things are young. If something is cold and furry then it is quiet. If something is smart then it is furry. All quiet, furry things are nice. All green things are young.
Harry is not young.