Anne is blue. Anne is round. Bob is blue. Gary is smart. Harry is nice. Harry is quiet. Harry is red. If Bob is round and Bob is nice then Bob is blue. All smart people are red. All blue, kind people are quiet. If Gary is kind then Gary is red. All red people are round. All smart, nice people are quiet. All quiet, kind people are smart. If someone is round and kind then they are blue. If someone is blue then they are kind.
Harry is not blue.