「この行財政改革は苦くない」ということは事実である
fact1: もしそのブロック毎が利用し始めないとすればバイトしないかもしくはそれは打っ叩かない fact2: もしもなにかは基礎編でないとすると「苦くないけれど回転方法である」ということは誤りだ fact3: この行財政改革は基礎編である fact4: 「「治療・援助で更に基礎編だ」ということは正しくない」ものがあるとするとあの分子機構は基礎編でない fact5: この行財政改革は回転方法だ fact6: 仮に回転方法は基礎編ならば「それは苦くない」ということは成り立つ fact7: とある物がバイトしないかそれが打っ叩かないならそれは打っ叩くということはない fact8: もし「ある物は打っ叩くということはない」ということは間違っていないとすると「治療・援助だしさらにそれは基礎編である」ということは偽である fact9: 「「描き易くないし加えて利用し始める」ということは偽な」物はある fact10: 仮に「「描き易くないし利用し始める」ということは成り立たない」物があるならばあのブロック毎は利用し始めない
fact5 & fact3 -> int1: この行財政改革は回転方法であるしまた基礎編である; fact6 -> int2: この行財政改革が回転方法だしさらに基礎編だとしたらそれは苦くない; int1 & int2 -> hypothesis;
この行財政改革は苦い
fact13 -> int3: もし仮にあの分子機構は基礎編でないならば「苦いということはないけれど回転方法だ」ということは成り立たない; fact17 -> int4: 仮にそのブロック毎は打っ叩くということはないとしたら「治療・援助でまた基礎編である」ということは嘘である; fact12 -> int5: もし仮にそのブロック毎はバイトしないかもしくは打っ叩くということはないかどちらもであるとしたら打っ叩かない; fact15 & fact11 -> int6: そのブロック毎は利用し始めない; fact14 & int6 -> int7: そのブロック毎はバイトしないかまたは打っ叩かないか両方だ; int5 & int7 -> int8: そのブロック毎は打っ叩かない; int4 & int8 -> int9: 「そのブロック毎は治療・援助であるしその上基礎編である」ということは嘘である; int9 -> int10: 「「治療・援助だし基礎編である」ということは成り立たない」ものはある; int10 & fact16 -> int11: あの分子機構は基礎編でない; int3 & int11 -> int12: 「あの分子機構は苦くないが回転方法だ」ということは事実と異なる; int12 -> int13: 「「苦くないしそれに回転方法だ」ということは誤りである」ものはある;
$facts$ = fact1: もしそのブロック毎が利用し始めないとすればバイトしないかもしくはそれは打っ叩かない fact2: もしもなにかは基礎編でないとすると「苦くないけれど回転方法である」ということは誤りだ fact3: この行財政改革は基礎編である fact4: 「「治療・援助で更に基礎編だ」ということは正しくない」ものがあるとするとあの分子機構は基礎編でない fact5: この行財政改革は回転方法だ fact6: 仮に回転方法は基礎編ならば「それは苦くない」ということは成り立つ fact7: とある物がバイトしないかそれが打っ叩かないならそれは打っ叩くということはない fact8: もし「ある物は打っ叩くということはない」ということは間違っていないとすると「治療・援助だしさらにそれは基礎編である」ということは偽である fact9: 「「描き易くないし加えて利用し始める」ということは偽な」物はある fact10: 仮に「「描き易くないし利用し始める」ということは成り立たない」物があるならばあのブロック毎は利用し始めない ; $hypothesis$ = 「この行財政改革は苦くない」ということは事実である ; $proof$ = 
fact5 & fact3 -> int1: この行財政改革は回転方法であるしまた基礎編である; fact6 -> int2: この行財政改革が回転方法だしさらに基礎編だとしたらそれは苦くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしそのブロック毎が利用し始めないとすればバイトしないかもしくはそれは打っ叩かない
事実2: もしもなにかは基礎編でないとすると「苦くないけれど回転方法である」ということは誤りだ
事実3: この行財政改革は基礎編である
事実4: 「「治療・援助で更に基礎編だ」ということは正しくない」ものがあるとするとあの分子機構は基礎編でない
事実5: この行財政改革は回転方法だ
事実6: 仮に回転方法は基礎編ならば「それは苦くない」ということは成り立つ
事実7: とある物がバイトしないかそれが打っ叩かないならそれは打っ叩くということはない
事実8: もし「ある物は打っ叩くということはない」ということは間違っていないとすると「治療・援助だしさらにそれは基礎編である」ということは偽である
事実9: 「「描き易くないし加えて利用し始める」ということは偽な」物はある
事実10: 仮に「「描き易くないし利用し始める」ということは成り立たない」物があるならばあのブロック毎は利用し始めない

仮説: 「この行財政改革は苦くない」ということは事実である
1. 事実5と事実3から、推論1: "この行財政改革は回転方法であるしまた基礎編である"が導かれる
2. 事実6から、推論2: "この行財政改革が回転方法だしさらに基礎編だとしたらそれは苦くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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