Anne is quiet. Anne is rough. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Charlie is red. Charlie is smart. Harry is blue. Harry is kind. Harry is red. All smart people are red. If Harry is blue then Harry is red. All blue people are red. All blue people are rough. If someone is smart then they are blue. Kind, smart people are quiet.
Harry is not red.