Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is smart. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Harry is blue. Harry is green. Harry is kind. Harry is quiet. All red things are green. If Harry is green then Harry is quiet. Blue, smart things are kind. Smart, blue things are kind. If something is blue then it is quiet. All green, furry things are red. If Harry is kind and Harry is furry then Harry is green. If something is green and furry then it is red.
Harry is red.