Anne is blue. Anne is smart. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is smart. Charlie is blue. Harry is nice. If someone is not blue and not green then they are smart. If someone is round and not smart then they are not blue.
Harry is smart.