一项艾滋病危险因素的研究中发现许多年龄、性别、职业、婚姻状况等因素都相同的人中，H1V阳性与H1V阴性对象的主要差异是静脉吸毒，则表明静脉吸毒可能是艾滋病病毒感染的危险因素。上述形成病因假设的逻辑推理方法属于（）。