「あの舅は名状し難くて走査する」ということは成り立たない
fact1: 仮に「あの舅はＤＶＤドライブでない」ということは事実と異ならないならばそれは名状し難いしかつ走査する fact2: あの舅はＤＶＤドライブでない
$facts$ = fact1: 仮に「あの舅はＤＶＤドライブでない」ということは事実と異ならないならばそれは名状し難いしかつ走査する fact2: あの舅はＤＶＤドライブでない ; $hypothesis$ = 「あの舅は名状し難くて走査する」ということは成り立たない ; $proof$ = 
事実1: 仮に「あの舅はＤＶＤドライブでない」ということは事実と異ならないならばそれは名状し難いしかつ走査する
事実2: あの舅はＤＶＤドライブでない

仮説: 「あの舅は名状し難くて走査する」ということは成り立たない