「その広場事業は手厳しい」ということは嘘でない
fact1: もし仮にこの栽培技術は線上であるならそれは物狂おしい fact2: 実現し易くない物は五秒キープであるしゴム長靴だ fact3: このケルト民族は到達し得ない fact4: このケルト民族が到達し得るということはないとしたら物狂おしくないかまたは第十六ポンプ車隊でないかまたはどちらもである fact5: もしこの栽培技術は到達し得ないならば「あの怠学は実現し易くてかつ第十六ポンプ車隊だ」ということは成り立たない fact6: もしこのケルト民族が第十六ポンプ車隊であるということはないかまたはそれが連立しないかまたは両方ともならこの小康状態は連立しない fact7: もしあの怠学は五秒キープだとすれば「この栽培技術は実現し易いかもしくはゴム長靴でない」ということは確かでない fact8: もしなにがしかのものは第十六ポンプ車隊でないとしたら「考え易いけれど五秒キープでない」ということは成り立たない fact9: もし仮に「あるものは予測し難くないがしかし連立する」ということは事実と異なるとしたらそれは実現し易くない fact10: もしもこのケルト民族が連立するということはないかもしくは物狂おしくないかどちらもならこの小康状態は物狂おしくない fact11: もしも「この栽培技術は実現し易いかゴム長靴であるということはない」ということは確かでないとするとその広場事業は手厳しくない fact12: もしもこの小康状態は連立するとしたら「あの怠学は考え易い」ということは成り立つ fact13: 仮に予測し難いものはあるなら「この小康状態は連立する」ということは成り立つ fact14: もしもこのケルト民族は物狂おしくないか第十六ポンプ車隊でないかもしくはどちらもだとすれば「あの怠学は第十六ポンプ車隊でない」ということは正しい fact15: もしとあるものは再評価でない一方で物狂おしいとすれば到達し得ない fact16: なにがしかの物は予測し難い fact17: もし仮にあの怠学は五秒キープだしおまけにゴム長靴ならば「この小康状態は考え易いということはない」ということは成り立つ fact18: この栽培技術は再評価でない fact19: 仮にこの小康状態が予測し難いならその広場事業は手厳しい fact20: 仮に「このケルト民族は五秒キープでない」ということは正しいとすればあの怠学は到達し得ない
fact16 & fact13 -> int1: この小康状態は連立する; int1 & fact12 -> int2: 「あの怠学は考え易い」ということは確かだ; void -> assump1: 以下のように仮定する。あの怠学は五秒キープでない; int2 & assump1 -> int3: あの怠学は考え易いけど五秒キープであるということはない; fact3 & fact4 -> int4: 「このケルト民族は物狂おしくないかまたは第十六ポンプ車隊でないかもしくはどちらもである」ということは成り立つ; int4 & fact14 -> int5: あの怠学は第十六ポンプ車隊でない; fact8 -> int6: もしあの怠学は第十六ポンプ車隊でないなら「考え易いけど五秒キープでない」ということは成り立たない; int5 & int6 -> int7: 「あの怠学は考え易いがしかし五秒キープでない」ということは誤っている; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの怠学は五秒キープだ; int9 & fact7 -> int10: 「この栽培技術は実現し易いかもしくはゴム長靴でない」ということは嘘だ; int10 & fact11 -> hypothesis;
その広場事業は手厳しい
fact24 -> int11: もし仮にあの怠学が実現し易くないならそれは五秒キープだし加えてそれはゴム長靴だ; fact21 -> int12: もしこの栽培技術は再評価でないけど物狂おしいとしたらそれは到達し得ない;
$facts$ = fact1: もし仮にこの栽培技術は線上であるならそれは物狂おしい fact2: 実現し易くない物は五秒キープであるしゴム長靴だ fact3: このケルト民族は到達し得ない fact4: このケルト民族が到達し得るということはないとしたら物狂おしくないかまたは第十六ポンプ車隊でないかまたはどちらもである fact5: もしこの栽培技術は到達し得ないならば「あの怠学は実現し易くてかつ第十六ポンプ車隊だ」ということは成り立たない fact6: もしこのケルト民族が第十六ポンプ車隊であるということはないかまたはそれが連立しないかまたは両方ともならこの小康状態は連立しない fact7: もしあの怠学は五秒キープだとすれば「この栽培技術は実現し易いかもしくはゴム長靴でない」ということは確かでない fact8: もしなにがしかのものは第十六ポンプ車隊でないとしたら「考え易いけれど五秒キープでない」ということは成り立たない fact9: もし仮に「あるものは予測し難くないがしかし連立する」ということは事実と異なるとしたらそれは実現し易くない fact10: もしもこのケルト民族が連立するということはないかもしくは物狂おしくないかどちらもならこの小康状態は物狂おしくない fact11: もしも「この栽培技術は実現し易いかゴム長靴であるということはない」ということは確かでないとするとその広場事業は手厳しくない fact12: もしもこの小康状態は連立するとしたら「あの怠学は考え易い」ということは成り立つ fact13: 仮に予測し難いものはあるなら「この小康状態は連立する」ということは成り立つ fact14: もしもこのケルト民族は物狂おしくないか第十六ポンプ車隊でないかもしくはどちらもだとすれば「あの怠学は第十六ポンプ車隊でない」ということは正しい fact15: もしとあるものは再評価でない一方で物狂おしいとすれば到達し得ない fact16: なにがしかの物は予測し難い fact17: もし仮にあの怠学は五秒キープだしおまけにゴム長靴ならば「この小康状態は考え易いということはない」ということは成り立つ fact18: この栽培技術は再評価でない fact19: 仮にこの小康状態が予測し難いならその広場事業は手厳しい fact20: 仮に「このケルト民族は五秒キープでない」ということは正しいとすればあの怠学は到達し得ない ; $hypothesis$ = 「その広場事業は手厳しい」ということは嘘でない ; $proof$ = 
fact16 & fact13 -> int1: この小康状態は連立する; int1 & fact12 -> int2: 「あの怠学は考え易い」ということは確かだ; void -> assump1: 以下のように仮定する。あの怠学は五秒キープでない; int2 & assump1 -> int3: あの怠学は考え易いけど五秒キープであるということはない; fact3 & fact4 -> int4: 「このケルト民族は物狂おしくないかまたは第十六ポンプ車隊でないかもしくはどちらもである」ということは成り立つ; int4 & fact14 -> int5: あの怠学は第十六ポンプ車隊でない; fact8 -> int6: もしあの怠学は第十六ポンプ車隊でないなら「考え易いけど五秒キープでない」ということは成り立たない; int5 & int6 -> int7: 「あの怠学は考え易いがしかし五秒キープでない」ということは誤っている; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの怠学は五秒キープだ; int9 & fact7 -> int10: 「この栽培技術は実現し易いかもしくはゴム長靴でない」ということは嘘だ; int10 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮にこの栽培技術は線上であるならそれは物狂おしい
事実2: 実現し易くない物は五秒キープであるしゴム長靴だ
事実3: このケルト民族は到達し得ない
事実4: このケルト民族が到達し得るということはないとしたら物狂おしくないかまたは第十六ポンプ車隊でないかまたはどちらもである
事実5: もしこの栽培技術は到達し得ないならば「あの怠学は実現し易くてかつ第十六ポンプ車隊だ」ということは成り立たない
事実6: もしこのケルト民族が第十六ポンプ車隊であるということはないかまたはそれが連立しないかまたは両方ともならこの小康状態は連立しない
事実7: もしあの怠学は五秒キープだとすれば「この栽培技術は実現し易いかもしくはゴム長靴でない」ということは確かでない
事実8: もしなにがしかのものは第十六ポンプ車隊でないとしたら「考え易いけれど五秒キープでない」ということは成り立たない
事実9: もし仮に「あるものは予測し難くないがしかし連立する」ということは事実と異なるとしたらそれは実現し易くない
事実10: もしもこのケルト民族が連立するということはないかもしくは物狂おしくないかどちらもならこの小康状態は物狂おしくない
事実11: もしも「この栽培技術は実現し易いかゴム長靴であるということはない」ということは確かでないとするとその広場事業は手厳しくない
事実12: もしもこの小康状態は連立するとしたら「あの怠学は考え易い」ということは成り立つ
事実13: 仮に予測し難いものはあるなら「この小康状態は連立する」ということは成り立つ
事実14: もしもこのケルト民族は物狂おしくないか第十六ポンプ車隊でないかもしくはどちらもだとすれば「あの怠学は第十六ポンプ車隊でない」ということは正しい
事実15: もしとあるものは再評価でない一方で物狂おしいとすれば到達し得ない
事実16: なにがしかの物は予測し難い
事実17: もし仮にあの怠学は五秒キープだしおまけにゴム長靴ならば「この小康状態は考え易いということはない」ということは成り立つ
事実18: この栽培技術は再評価でない
事実19: 仮にこの小康状態が予測し難いならその広場事業は手厳しい
事実20: 仮に「このケルト民族は五秒キープでない」ということは正しいとすればあの怠学は到達し得ない

仮説: 「その広場事業は手厳しい」ということは嘘でない
1. 事実16と事実13から、推論1: "この小康状態は連立する"が導かれる
2. 推論1と事実12から、推論2: "「あの怠学は考え易い」ということは確かだ"が導かれる
3. 仮定1: 以下のように仮定する。あの怠学は五秒キープでない
4. 推論2と仮定1から、推論3: "あの怠学は考え易いけど五秒キープであるということはない"が導かれる
5. 事実3と事実4から、推論4: "「このケルト民族は物狂おしくないかまたは第十六ポンプ車隊でないかもしくはどちらもである」ということは成り立つ"が導かれる
6. 推論4と事実14から、推論5: "あの怠学は第十六ポンプ車隊でない"が導かれる
7. 事実8から、推論6: "もしあの怠学は第十六ポンプ車隊でないなら「考え易いけど五秒キープでない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "「あの怠学は考え易いがしかし五秒キープでない」ということは誤っている"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの怠学は五秒キープだ"が導かれる
11. 推論9と事実7から、推論10: "「この栽培技術は実現し易いかもしくはゴム長靴でない」ということは嘘だ"が導かれる
12. 推論10と事実11から、仮説が否定される

よって、仮説が否定されました。