「仮に学び直すなら「撒き散らす」ということは成り立つ」ものはある
fact1: とあるものが撒き散らさないとしたら学び直さない fact2: もしもその呼吸は上場審査であるなら示し易い fact3: もしその呼吸は撒き散らすとすれば「それは学び直すということはない」ということは成り立つ fact4: 「もし仮にその呼吸がキープ出来るとすればその呼吸は国宝保存法である」ということは真実である fact5: 仮にあるものが撒き散らさないとするとそれは学び直す fact6: もし仮に何らかの物が撒き散らすとすると学び直すということはない fact7: もしも「何かは片付く」ということは確かであるとするとエキス分でないがしかししがない fact8: 仮にある物が訪ねないとすれば示し易い fact9: 仮になにがしかの物が脂っこいならそれは騙され易くない fact10: もしもその呼吸が重たいとすれば風説書だ fact11: その呼吸が撒き散らさないならそれは学び直す fact12: もし仮にその呼吸が学び直さないとしたら脂っこくない fact13: もしもこの標準溶液がエキス分であるということはないけれどしがないならばこの札幌近郊はエキス分だ fact14: もしとあるものが磨き抜けばそれは学び直す fact15: なにかは撒き散らさないなら「磨き抜く」ということは本当だ fact16: 仮になんらかの物はエキス分であるならば「撒き散らさないし熱っぽくない」ということは誤っている
fact1 -> int1: その呼吸が撒き散らさないとしたらそれは学び直さない; void -> assump2: 以下のように仮定する。その呼吸は撒き散らさない; int1 & assump2 -> int2: その呼吸は学び直さない; void -> assump1: 以下のように仮定する。その呼吸は学び直す; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その呼吸は撒き散らす; [assump1] & int4 -> int5: もし「その呼吸は学び直す」ということは成り立つとしたらそれは撒き散らす; int5 -> hypothesis;
この東京湾西岸系は学び直す
fact20 -> int6: もしもこの東京湾西岸系が磨き抜くとすると学び直す; fact17 -> int7: 仮に「この東京湾西岸系は撒き散らさない」ということは偽でないなら磨き抜く; fact18 -> int8: もし仮に「この札幌近郊はエキス分である」ということは真実であるとしたら「撒き散らさなくてかつ熱っぽくない」ということは間違っている; fact19 -> int9: 仮にこの標準溶液が片付けばエキス分でないしさらにしがない;
$facts$ = fact1: とあるものが撒き散らさないとしたら学び直さない fact2: もしもその呼吸は上場審査であるなら示し易い fact3: もしその呼吸は撒き散らすとすれば「それは学び直すということはない」ということは成り立つ fact4: 「もし仮にその呼吸がキープ出来るとすればその呼吸は国宝保存法である」ということは真実である fact5: 仮にあるものが撒き散らさないとするとそれは学び直す fact6: もし仮に何らかの物が撒き散らすとすると学び直すということはない fact7: もしも「何かは片付く」ということは確かであるとするとエキス分でないがしかししがない fact8: 仮にある物が訪ねないとすれば示し易い fact9: 仮になにがしかの物が脂っこいならそれは騙され易くない fact10: もしもその呼吸が重たいとすれば風説書だ fact11: その呼吸が撒き散らさないならそれは学び直す fact12: もし仮にその呼吸が学び直さないとしたら脂っこくない fact13: もしもこの標準溶液がエキス分であるということはないけれどしがないならばこの札幌近郊はエキス分だ fact14: もしとあるものが磨き抜けばそれは学び直す fact15: なにかは撒き散らさないなら「磨き抜く」ということは本当だ fact16: 仮になんらかの物はエキス分であるならば「撒き散らさないし熱っぽくない」ということは誤っている ; $hypothesis$ = 「仮に学び直すなら「撒き散らす」ということは成り立つ」ものはある ; $proof$ = 
fact1 -> int1: その呼吸が撒き散らさないとしたらそれは学び直さない; void -> assump2: 以下のように仮定する。その呼吸は撒き散らさない; int1 & assump2 -> int2: その呼吸は学び直さない; void -> assump1: 以下のように仮定する。その呼吸は学び直す; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その呼吸は撒き散らす; [assump1] & int4 -> int5: もし「その呼吸は学び直す」ということは成り立つとしたらそれは撒き散らす; int5 -> hypothesis; __PROVED__
事実1: とあるものが撒き散らさないとしたら学び直さない
事実2: もしもその呼吸は上場審査であるなら示し易い
事実3: もしその呼吸は撒き散らすとすれば「それは学び直すということはない」ということは成り立つ
事実4: 「もし仮にその呼吸がキープ出来るとすればその呼吸は国宝保存法である」ということは真実である
事実5: 仮にあるものが撒き散らさないとするとそれは学び直す
事実6: もし仮に何らかの物が撒き散らすとすると学び直すということはない
事実7: もしも「何かは片付く」ということは確かであるとするとエキス分でないがしかししがない
事実8: 仮にある物が訪ねないとすれば示し易い
事実9: 仮になにがしかの物が脂っこいならそれは騙され易くない
事実10: もしもその呼吸が重たいとすれば風説書だ
事実11: その呼吸が撒き散らさないならそれは学び直す
事実12: もし仮にその呼吸が学び直さないとしたら脂っこくない
事実13: もしもこの標準溶液がエキス分であるということはないけれどしがないならばこの札幌近郊はエキス分だ
事実14: もしとあるものが磨き抜けばそれは学び直す
事実15: なにかは撒き散らさないなら「磨き抜く」ということは本当だ
事実16: 仮になんらかの物はエキス分であるならば「撒き散らさないし熱っぽくない」ということは誤っている

仮説: 「仮に学び直すなら「撒き散らす」ということは成り立つ」ものはある
1. 事実1から、推論1: "その呼吸が撒き散らさないとしたらそれは学び直さない"が導かれる
2. 仮定2: 以下のように仮定する。その呼吸は撒き散らさない
3. 推論1と仮定2から、推論2: "その呼吸は学び直さない"が導かれる
4. 仮定1: 以下のように仮定する。その呼吸は学び直す
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その呼吸は撒き散らす"が導かれる
7. [仮定1]と推論4から、推論5: "もし「その呼吸は学び直す」ということは成り立つとしたらそれは撒き散らす"が導かれる
8. 推論5から、仮説が導かれる

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