あの大嵐は差さる
fact1: なにかは根深くないとすれば「それは遅ししその上演説する」ということは成り立たない fact2: 「その各大臣は技能レベルであるかまたは移動し易いかどちらもだ」ということは成り立つ fact3: もしも「何らかのものは遅ししかつそれは演説する」ということは成り立つということはないとすればそれは移動し易くない fact4: もし仮になにがしかの物が差さればそれは演説する fact5: もしその各大臣が技能レベルだとするとこの先師は遅し fact6: もしもその各大臣が移動し易いならばあの先師は遅し fact7: もし仮にある物が遅しとすれば演説する fact8: もしもこの先師が演説するとするとあの大嵐は差さる fact9: その各大臣が移動し易くないならばあの大嵐は技能レベルであるということはなくて差さるない
fact2 & fact5 & fact6 -> int1: この先師は遅し; fact7 -> int2: もしもこの先師が遅しとしたら演説する; int1 & int2 -> int3: この先師は演説する; int3 & fact8 -> hypothesis;
あの大嵐は差さるない
fact10 -> int4: もし「その各大臣は遅ししまた演説する」ということは間違っているとすればそれは移動し易いということはない; fact12 -> int5: もし仮にその各大臣は根深くないなら「遅ししおまけにそれは演説する」ということは事実と異なる;
$facts$ = fact1: なにかは根深くないとすれば「それは遅ししその上演説する」ということは成り立たない fact2: 「その各大臣は技能レベルであるかまたは移動し易いかどちらもだ」ということは成り立つ fact3: もしも「何らかのものは遅ししかつそれは演説する」ということは成り立つということはないとすればそれは移動し易くない fact4: もし仮になにがしかの物が差さればそれは演説する fact5: もしその各大臣が技能レベルだとするとこの先師は遅し fact6: もしもその各大臣が移動し易いならばあの先師は遅し fact7: もし仮にある物が遅しとすれば演説する fact8: もしもこの先師が演説するとするとあの大嵐は差さる fact9: その各大臣が移動し易くないならばあの大嵐は技能レベルであるということはなくて差さるない ; $hypothesis$ = あの大嵐は差さる ; $proof$ = 
fact2 & fact5 & fact6 -> int1: この先師は遅し; fact7 -> int2: もしもこの先師が遅しとしたら演説する; int1 & int2 -> int3: この先師は演説する; int3 & fact8 -> hypothesis; __PROVED__
事実1: なにかは根深くないとすれば「それは遅ししその上演説する」ということは成り立たない
事実2: 「その各大臣は技能レベルであるかまたは移動し易いかどちらもだ」ということは成り立つ
事実3: もしも「何らかのものは遅ししかつそれは演説する」ということは成り立つということはないとすればそれは移動し易くない
事実4: もし仮になにがしかの物が差さればそれは演説する
事実5: もしその各大臣が技能レベルだとするとこの先師は遅し
事実6: もしもその各大臣が移動し易いならばあの先師は遅し
事実7: もし仮にある物が遅しとすれば演説する
事実8: もしもこの先師が演説するとするとあの大嵐は差さる
事実9: その各大臣が移動し易くないならばあの大嵐は技能レベルであるということはなくて差さるない

仮説: あの大嵐は差さる
1. 事実2と事実5と事実6から、推論1: "この先師は遅し"が導かれる
2. 事実7から、推論2: "もしもこの先師が遅しとしたら演説する"が導かれる
3. 推論1と推論2から、推論3: "この先師は演説する"が導かれる
4. 推論3と事実8から、仮説が導かれる

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