このＨＰＴ系は密輸業者でない
fact1: もしもこの限定付きが移り難くないとすればあのＨＰＴ系は密輸業者だ fact2: この限定付きは移り難いということはない
$facts$ = fact1: もしもこの限定付きが移り難くないとすればあのＨＰＴ系は密輸業者だ fact2: この限定付きは移り難いということはない ; $hypothesis$ = このＨＰＴ系は密輸業者でない ; $proof$ = 
事実1: もしもこの限定付きが移り難くないとすればあのＨＰＴ系は密輸業者だ
事実2: この限定付きは移り難いということはない

仮説: このＨＰＴ系は密輸業者でない