Bob is blue. Bob is kind. Fiona is red. Fiona is smart. Gary is nice. Gary is quiet. Harry is young. If something is smart and nice then it is young. If something is young then it is nice. If something is nice and kind then it is quiet. All red things are smart. If Gary is kind then Gary is red. If Bob is smart then Bob is young. If something is nice then it is kind. If something is nice and young then it is blue. If something is not blue then it is kind.
Harry is not red.