その裏方はすばしこいということはない
fact1: 「生活し易い」ものはある fact2: なにがしかの物は立者でないとすれば「腫れぼったい」ということは本当だ fact3: もしその重曹が学際的連携であるとすればその裏方は学際的連携である fact4: 仮に「その裏方は条件付けるしかつ苛立たしい」ということは成り立たないとするとそれは勝ち進むということはない fact5: 大人気無い物はすばしこい fact6: もしこの自然人が学際的連携だとするとその裏方は大人気無い fact7: もし「その重曹は立者であるかあるいは馬鹿話でない」ということは間違っているとすればこの推計結果は組織種別でない fact8: もし仮に「「この推計結果は条件付けるけれど組織種別でない」ということは間違っている」ということは成り立つとしたら組織種別である fact9: 「この小型版は立者である」ということは成り立つ fact10: その重曹が腫れぼったいならばこの小型版は勝ち進む fact11: その重曹は立者であるかあるいは馬鹿話でないかまたは両方ともである fact12: 「この推計結果は条件付けるし組織種別だ」ということは嘘である fact13: もしもその重曹は立者でないならばそれは腫れぼったい fact14: その重曹は立者である fact15: 「この自然人は組織種別であるしさらにそれは学際的連携だ」ということは偽だ fact16: 腫れぼったい組織種別はすばしこくない fact17: その重曹は学際的連携であるしその上大人気無い fact18: 「この推計結果は条件付けるがしかし組織種別でない」ということは誤りだ fact19: この小型版は条件付ける fact20: もしもなにかは立者でないかもしくは大人気無くないかもしくは両方ともであるとすると勝ち進む fact21: もし仮にとある物が勝ち進まないけれどそれが学際的連携だとすると組織種別である fact22: もしこの小型版が勝ち進むならばあの自然人は学際的連携である fact23: その重曹が大人気無いとしたらその裏方は腫れぼったい fact24: この推計結果は馬鹿話である fact25: 「その重曹は立者でないか馬鹿話であるということはないかあるいは両方ともである」ということは偽だとすればこの推計結果は組織種別であるということはない fact26: 仮に何かは立者だということはないかもしくは馬鹿話でないかまたはどちらもであるとするとそれは腫れぼったい
void -> assump1: 以下のように仮定する。「その重曹は立者でないか馬鹿話でないかまたは両方ともだ」ということは誤りだ; fact25 & assump1 -> int1: この推計結果は組織種別でない; fact8 & fact18 -> int2: この推計結果は組織種別だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その重曹は立者でないかそれは馬鹿話でない; fact26 -> int5: 「その重曹は立者でないかまたはそれは馬鹿話でないかまたはどちらもだ」ということは事実ならばそれは腫れぼったい; int4 & int5 -> int6: 「その重曹は腫れぼったい」ということは確かである; int6 & fact10 -> int7: 「この小型版は勝ち進む」ということは真実である; int7 & fact22 -> int8: この自然人は学際的連携である; int8 & fact6 -> int9: その裏方は大人気無い; fact5 -> int10: もしその裏方が大人気無いとしたらそれはすばしこい; int9 & int10 -> hypothesis;
「その裏方はすばしこいということはない」ということは事実だ
fact30 -> int11: 「仮にその裏方が組織種別だし腫れぼったいとするとその裏方はすばしこくない」ということは正しい; fact32 -> int12: 仮にその裏方が勝ち進まないけどそれは学際的連携であるならそれは組織種別である; fact28 -> int13: その重曹は学際的連携である; fact31 & int13 -> int14: その裏方は学際的連携だ;
$facts$ = fact1: 「生活し易い」ものはある fact2: なにがしかの物は立者でないとすれば「腫れぼったい」ということは本当だ fact3: もしその重曹が学際的連携であるとすればその裏方は学際的連携である fact4: 仮に「その裏方は条件付けるしかつ苛立たしい」ということは成り立たないとするとそれは勝ち進むということはない fact5: 大人気無い物はすばしこい fact6: もしこの自然人が学際的連携だとするとその裏方は大人気無い fact7: もし「その重曹は立者であるかあるいは馬鹿話でない」ということは間違っているとすればこの推計結果は組織種別でない fact8: もし仮に「「この推計結果は条件付けるけれど組織種別でない」ということは間違っている」ということは成り立つとしたら組織種別である fact9: 「この小型版は立者である」ということは成り立つ fact10: その重曹が腫れぼったいならばこの小型版は勝ち進む fact11: その重曹は立者であるかあるいは馬鹿話でないかまたは両方ともである fact12: 「この推計結果は条件付けるし組織種別だ」ということは嘘である fact13: もしもその重曹は立者でないならばそれは腫れぼったい fact14: その重曹は立者である fact15: 「この自然人は組織種別であるしさらにそれは学際的連携だ」ということは偽だ fact16: 腫れぼったい組織種別はすばしこくない fact17: その重曹は学際的連携であるしその上大人気無い fact18: 「この推計結果は条件付けるがしかし組織種別でない」ということは誤りだ fact19: この小型版は条件付ける fact20: もしもなにかは立者でないかもしくは大人気無くないかもしくは両方ともであるとすると勝ち進む fact21: もし仮にとある物が勝ち進まないけれどそれが学際的連携だとすると組織種別である fact22: もしこの小型版が勝ち進むならばあの自然人は学際的連携である fact23: その重曹が大人気無いとしたらその裏方は腫れぼったい fact24: この推計結果は馬鹿話である fact25: 「その重曹は立者でないか馬鹿話であるということはないかあるいは両方ともである」ということは偽だとすればこの推計結果は組織種別であるということはない fact26: 仮に何かは立者だということはないかもしくは馬鹿話でないかまたはどちらもであるとするとそれは腫れぼったい ; $hypothesis$ = その裏方はすばしこいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その重曹は立者でないか馬鹿話でないかまたは両方ともだ」ということは誤りだ; fact25 & assump1 -> int1: この推計結果は組織種別でない; fact8 & fact18 -> int2: この推計結果は組織種別だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その重曹は立者でないかそれは馬鹿話でない; fact26 -> int5: 「その重曹は立者でないかまたはそれは馬鹿話でないかまたはどちらもだ」ということは事実ならばそれは腫れぼったい; int4 & int5 -> int6: 「その重曹は腫れぼったい」ということは確かである; int6 & fact10 -> int7: 「この小型版は勝ち進む」ということは真実である; int7 & fact22 -> int8: この自然人は学際的連携である; int8 & fact6 -> int9: その裏方は大人気無い; fact5 -> int10: もしその裏方が大人気無いとしたらそれはすばしこい; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 「生活し易い」ものはある
事実2: なにがしかの物は立者でないとすれば「腫れぼったい」ということは本当だ
事実3: もしその重曹が学際的連携であるとすればその裏方は学際的連携である
事実4: 仮に「その裏方は条件付けるしかつ苛立たしい」ということは成り立たないとするとそれは勝ち進むということはない
事実5: 大人気無い物はすばしこい
事実6: もしこの自然人が学際的連携だとするとその裏方は大人気無い
事実7: もし「その重曹は立者であるかあるいは馬鹿話でない」ということは間違っているとすればこの推計結果は組織種別でない
事実8: もし仮に「「この推計結果は条件付けるけれど組織種別でない」ということは間違っている」ということは成り立つとしたら組織種別である
事実9: 「この小型版は立者である」ということは成り立つ
事実10: その重曹が腫れぼったいならばこの小型版は勝ち進む
事実11: その重曹は立者であるかあるいは馬鹿話でないかまたは両方ともである
事実12: 「この推計結果は条件付けるし組織種別だ」ということは嘘である
事実13: もしもその重曹は立者でないならばそれは腫れぼったい
事実14: その重曹は立者である
事実15: 「この自然人は組織種別であるしさらにそれは学際的連携だ」ということは偽だ
事実16: 腫れぼったい組織種別はすばしこくない
事実17: その重曹は学際的連携であるしその上大人気無い
事実18: 「この推計結果は条件付けるがしかし組織種別でない」ということは誤りだ
事実19: この小型版は条件付ける
事実20: もしもなにかは立者でないかもしくは大人気無くないかもしくは両方ともであるとすると勝ち進む
事実21: もし仮にとある物が勝ち進まないけれどそれが学際的連携だとすると組織種別である
事実22: もしこの小型版が勝ち進むならばあの自然人は学際的連携である
事実23: その重曹が大人気無いとしたらその裏方は腫れぼったい
事実24: この推計結果は馬鹿話である
事実25: 「その重曹は立者でないか馬鹿話であるということはないかあるいは両方ともである」ということは偽だとすればこの推計結果は組織種別であるということはない
事実26: 仮に何かは立者だということはないかもしくは馬鹿話でないかまたはどちらもであるとするとそれは腫れぼったい

仮説: その裏方はすばしこいということはない
1. 仮定1: 以下のように仮定する。「その重曹は立者でないか馬鹿話でないかまたは両方ともだ」ということは誤りだ
2. 事実25と仮定1から、推論1: "この推計結果は組織種別でない"が導かれる
3. 事実8と事実18から、推論2: "この推計結果は組織種別だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その重曹は立者でないかそれは馬鹿話でない"が導かれる
6. 事実26から、推論5: "「その重曹は立者でないかまたはそれは馬鹿話でないかまたはどちらもだ」ということは事実ならばそれは腫れぼったい"が導かれる
7. 推論4と推論5から、推論6: "「その重曹は腫れぼったい」ということは確かである"が導かれる
8. 推論6と事実10から、推論7: "「この小型版は勝ち進む」ということは真実である"が導かれる
9. 推論7と事実22から、推論8: "この自然人は学際的連携である"が導かれる
10. 推論8と事実6から、推論9: "その裏方は大人気無い"が導かれる
11. 事実5から、推論10: "もしその裏方が大人気無いとしたらそれはすばしこい"が導かれる
12. 推論9と推論10から、仮説が否定される

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