Anne is smart. Bob is young. Dave is quiet. Harry is kind. All blue people are nice. If Anne is kind and Anne is nice then Anne is blue. Quiet, furry people are kind. If Harry is kind then Harry is blue. All smart, nice people are quiet. Nice people are young. Nice, furry people are quiet. If someone is nice then they are furry.
Harry is not blue.