「そのポリペクトミーは締め括らない」ということは成り立つ
fact1: もし仮に炒り豆が入出力しないとしたら締め括る fact2: もしそのポリペクトミーは人口全体であるしさらに炒り豆であるなら締め括らない fact3: もし仮にこの役割・慣習は炒り豆であるし入出力するならそれは人口全体でない fact4: 仮に「おどろおどろしくなくておまけに一目惚れしない」物があるとすればこの役割・慣習は雑談だということはない fact5: その共存は人口全体だ fact6: この役割・慣習は入出力する fact7: もし仮に「人口全体でない」ものがあるとすればあの湧き水は炒り豆だがそれは入出力しない fact8: この役割・慣習が入出力するとすればあのポリペクトミーは炒り豆である fact9: もしもあるものは診療報酬請求だとすれば「それは推進する」ということは確かである fact10: 神々しいものは人口全体でないけれど雑談である fact11: 仮になにがしかの物は推進すれば「それはおどろおどろしくないししかも一目惚れしない」ということは成り立つ fact12: もし仮にある物が立証出来るとしたら診療報酬請求だ fact13: もしも「とある物は神々しかないけど人口全体である」ということは事実と異なるなら「それは人口全体だということはない」ということは正しい fact14: もしもある物は人口全体であるということはないけど雑談であるなら炒り豆でない fact15: もし仮にこの役割・慣習は締め括るとしたら「そのポリペクトミーは締め括る」ということは真実だ fact16: 全ては当であるということはなくて小難しくない fact17: もしとあるものが当でなくてしかも小難しくないとしたらそれは立証出来る fact18: そのポリペクトミーは人口全体である fact19: もしも何かは炒り豆でないとすれば締め括るかもしくは入出力するかあるいはどちらもである fact20: もしなにかは雑談だということはないならば「神々しいということはないが人口全体だ」ということは誤りだ
fact8 & fact6 -> int1: そのポリペクトミーは炒り豆である; int1 & fact18 -> int2: そのポリペクトミーは人口全体であるしまた炒り豆である; int2 & fact2 -> hypothesis;
「その湧き水は締め括る」ということは確かである
fact22 -> int3: 「この役割・慣習は神々しかない一方で人口全体だ」ということは間違いであるとしたらそれは人口全体でない; fact25 -> int4: 「もし仮にこの役割・慣習は雑談でないとすれば「この役割・慣習は神々しかないがしかし人口全体である」ということは間違っている」ということは確かである; fact21 -> int5: 「あの毛様体筋が推進するとしたらあの毛様体筋はおどろおどろしくなくてその上一目惚れしない」ということは確かだ; fact27 -> int6: あの毛様体筋は当だということはなくておまけにそれは小難しくない; fact30 -> int7: 「あの毛様体筋は当でなくて加えて小難しくない」ということは確かであるなら立証出来る; int6 & int7 -> int8: あの毛様体筋は立証出来る; fact24 -> int9: あの毛様体筋が立証出来るとするとそれは診療報酬請求だ; int8 & int9 -> int10: あの毛様体筋は診療報酬請求である; fact29 -> int11: あの毛様体筋は診療報酬請求だとすれば「推進する」ということは確かだ; int10 & int11 -> int12: あの毛様体筋は推進する; int5 & int12 -> int13: あの毛様体筋はおどろおどろしくなくてそれに一目惚れしない; int13 -> int14: あらゆるものはおどろおどろしくないし一目惚れしない; int14 -> int15: そのポリペクトミーはおどろおどろしくないししかもそれは一目惚れしない; int15 -> int16: なにがしかの物はおどろおどろしいということはないしそれに一目惚れしない; int16 & fact23 -> int17: この役割・慣習は雑談でない; int4 & int17 -> int18: 「「この役割・慣習は神々しかないけどそれは人口全体だ」ということは事実と異なる」ということは本当だ; int3 & int18 -> int19: この役割・慣習は人口全体だということはない; int19 -> int20: 「人口全体でない」物はある; int20 & fact28 -> int21: その湧き水は炒り豆であるがしかし入出力するということはない; fact26 -> int22: その湧き水は炒り豆であるけれど入出力するということはないならそれは締め括る; int21 & int22 -> hypothesis;
$facts$ = fact1: もし仮に炒り豆が入出力しないとしたら締め括る fact2: もしそのポリペクトミーは人口全体であるしさらに炒り豆であるなら締め括らない fact3: もし仮にこの役割・慣習は炒り豆であるし入出力するならそれは人口全体でない fact4: 仮に「おどろおどろしくなくておまけに一目惚れしない」物があるとすればこの役割・慣習は雑談だということはない fact5: その共存は人口全体だ fact6: この役割・慣習は入出力する fact7: もし仮に「人口全体でない」ものがあるとすればあの湧き水は炒り豆だがそれは入出力しない fact8: この役割・慣習が入出力するとすればあのポリペクトミーは炒り豆である fact9: もしもあるものは診療報酬請求だとすれば「それは推進する」ということは確かである fact10: 神々しいものは人口全体でないけれど雑談である fact11: 仮になにがしかの物は推進すれば「それはおどろおどろしくないししかも一目惚れしない」ということは成り立つ fact12: もし仮にある物が立証出来るとしたら診療報酬請求だ fact13: もしも「とある物は神々しかないけど人口全体である」ということは事実と異なるなら「それは人口全体だということはない」ということは正しい fact14: もしもある物は人口全体であるということはないけど雑談であるなら炒り豆でない fact15: もし仮にこの役割・慣習は締め括るとしたら「そのポリペクトミーは締め括る」ということは真実だ fact16: 全ては当であるということはなくて小難しくない fact17: もしとあるものが当でなくてしかも小難しくないとしたらそれは立証出来る fact18: そのポリペクトミーは人口全体である fact19: もしも何かは炒り豆でないとすれば締め括るかもしくは入出力するかあるいはどちらもである fact20: もしなにかは雑談だということはないならば「神々しいということはないが人口全体だ」ということは誤りだ ; $hypothesis$ = 「そのポリペクトミーは締め括らない」ということは成り立つ ; $proof$ = 
fact8 & fact6 -> int1: そのポリペクトミーは炒り豆である; int1 & fact18 -> int2: そのポリペクトミーは人口全体であるしまた炒り豆である; int2 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に炒り豆が入出力しないとしたら締め括る
事実2: もしそのポリペクトミーは人口全体であるしさらに炒り豆であるなら締め括らない
事実3: もし仮にこの役割・慣習は炒り豆であるし入出力するならそれは人口全体でない
事実4: 仮に「おどろおどろしくなくておまけに一目惚れしない」物があるとすればこの役割・慣習は雑談だということはない
事実5: その共存は人口全体だ
事実6: この役割・慣習は入出力する
事実7: もし仮に「人口全体でない」ものがあるとすればあの湧き水は炒り豆だがそれは入出力しない
事実8: この役割・慣習が入出力するとすればあのポリペクトミーは炒り豆である
事実9: もしもあるものは診療報酬請求だとすれば「それは推進する」ということは確かである
事実10: 神々しいものは人口全体でないけれど雑談である
事実11: 仮になにがしかの物は推進すれば「それはおどろおどろしくないししかも一目惚れしない」ということは成り立つ
事実12: もし仮にある物が立証出来るとしたら診療報酬請求だ
事実13: もしも「とある物は神々しかないけど人口全体である」ということは事実と異なるなら「それは人口全体だということはない」ということは正しい
事実14: もしもある物は人口全体であるということはないけど雑談であるなら炒り豆でない
事実15: もし仮にこの役割・慣習は締め括るとしたら「そのポリペクトミーは締め括る」ということは真実だ
事実16: 全ては当であるということはなくて小難しくない
事実17: もしとあるものが当でなくてしかも小難しくないとしたらそれは立証出来る
事実18: そのポリペクトミーは人口全体である
事実19: もしも何かは炒り豆でないとすれば締め括るかもしくは入出力するかあるいはどちらもである
事実20: もしなにかは雑談だということはないならば「神々しいということはないが人口全体だ」ということは誤りだ

仮説: 「そのポリペクトミーは締め括らない」ということは成り立つ
1. 事実8と事実6から、推論1: "そのポリペクトミーは炒り豆である"が導かれる
2. 推論1と事実18から、推論2: "そのポリペクトミーは人口全体であるしまた炒り豆である"が導かれる
3. 推論2と事実2から、仮説が導かれる

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