あのハードは調査分析しない
fact1: 仮に「講義中でない」ものがあるとするとあのハードは調査分析する fact2: 「講義中でない」物はある
$facts$ = fact1: 仮に「講義中でない」ものがあるとするとあのハードは調査分析する fact2: 「講義中でない」物はある ; $hypothesis$ = あのハードは調査分析しない ; $proof$ = 
事実1: 仮に「講義中でない」ものがあるとするとあのハードは調査分析する
事実2: 「講義中でない」物はある

仮説: あのハードは調査分析しない