运用性质命题变形推理，由“证人不是精神上有缺陷的人”可以推出A证人有些是精神上有缺陷的人B证人都不是精神上没有缺陷的人C有些精神上没有缺陷的人是证人D精神上没有缺陷的人都是证人