その高速道路網は誤解し易い
fact1: 仮に「あの引き加減は新生活でないけれど一ホールである」ということは成り立たないとすれば「あのハロゲンは新生活だ」ということは成り立たない fact2: 弁解がましい物は誤解し易くないならそれは貸し付け利息だ fact3: 仮にその高速道路網は貸し付け利息であるとしたらそれは誤解し易い fact4: その高速道路網は貸し付け利息である fact5: 仮にあのハロゲンが新生活でないとしたら指揮監督するし丸っこい
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
その高速道路網は誤解し易くない
$facts$ = fact1: 仮に「あの引き加減は新生活でないけれど一ホールである」ということは成り立たないとすれば「あのハロゲンは新生活だ」ということは成り立たない fact2: 弁解がましい物は誤解し易くないならそれは貸し付け利息だ fact3: 仮にその高速道路網は貸し付け利息であるとしたらそれは誤解し易い fact4: その高速道路網は貸し付け利息である fact5: 仮にあのハロゲンが新生活でないとしたら指揮監督するし丸っこい ; $hypothesis$ = その高速道路網は誤解し易い ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「あの引き加減は新生活でないけれど一ホールである」ということは成り立たないとすれば「あのハロゲンは新生活だ」ということは成り立たない
事実2: 弁解がましい物は誤解し易くないならそれは貸し付け利息だ
事実3: 仮にその高速道路網は貸し付け利息であるとしたらそれは誤解し易い
事実4: その高速道路網は貸し付け利息である
事実5: 仮にあのハロゲンが新生活でないとしたら指揮監督するし丸っこい

仮説: その高速道路網は誤解し易い
1. 事実3と事実4から、仮説が導かれる

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