この第九巻所収は溺死するということはない一方で回線交換モードである
fact1: この第九巻所収は溺死しない fact2: 仮にあの窒化法は増員すとしたら「この第九巻所収は溺死しないが回線交換モードである」ということは事実と異なる fact3: もし「あの四パーセント以上は遜色無いかまたはそれは増員すということはない」ということは成り立たないとしたらあの窒化法は増員す fact4: この第九巻所収は回線交換モードである fact5: この膜模造は溺死しない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
「この第九巻所収は溺死するということはない一方で回線交換モードだ」ということは嘘だ
$facts$ = fact1: この第九巻所収は溺死しない fact2: 仮にあの窒化法は増員すとしたら「この第九巻所収は溺死しないが回線交換モードである」ということは事実と異なる fact3: もし「あの四パーセント以上は遜色無いかまたはそれは増員すということはない」ということは成り立たないとしたらあの窒化法は増員す fact4: この第九巻所収は回線交換モードである fact5: この膜模造は溺死しない ; $hypothesis$ = この第九巻所収は溺死するということはない一方で回線交換モードである ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: この第九巻所収は溺死しない
事実2: 仮にあの窒化法は増員すとしたら「この第九巻所収は溺死しないが回線交換モードである」ということは事実と異なる
事実3: もし「あの四パーセント以上は遜色無いかまたはそれは増員すということはない」ということは成り立たないとしたらあの窒化法は増員す
事実4: この第九巻所収は回線交換モードである
事実5: この膜模造は溺死しない

仮説: この第九巻所収は溺死するということはない一方で回線交換モードである
1. 事実1と事実4から、仮説が導かれる

よって、仮説が証明されました。