この薬害ＡＩＤＳは自動生成しない
fact1: もしも「「ドリフトチューブであるけれど連結法人間でない」ということは偽である」ものがあるとするとこの薬害ＡＩＤＳは自動生成するということはない fact2: 「「ドリフトチューブであるし連結法人間でない」ということは間違いである」ものはある
$facts$ = fact1: もしも「「ドリフトチューブであるけれど連結法人間でない」ということは偽である」ものがあるとするとこの薬害ＡＩＤＳは自動生成するということはない fact2: 「「ドリフトチューブであるし連結法人間でない」ということは間違いである」ものはある ; $hypothesis$ = この薬害ＡＩＤＳは自動生成しない ; $proof$ = 
事実1: もしも「「ドリフトチューブであるけれど連結法人間でない」ということは偽である」ものがあるとするとこの薬害ＡＩＤＳは自動生成するということはない
事実2: 「「ドリフトチューブであるし連結法人間でない」ということは間違いである」ものはある

仮説: この薬害ＡＩＤＳは自動生成しない