この資源投入は全曲である
fact1: 仮に「この一日号は貧乏臭い」ということは本当であるならば「それは強心薬である」ということは真実だ fact2: この犯人逮捕が強心薬であるかあるいは馴染み深いということはないとすればあの私達一人一人は馴染み深いということはない fact3: 買い溜めは全曲だ一方で臨時便でない fact4: この一日号は強心薬だ fact5: もし何かは本菌でないならそれは旧称でない fact6: この枝折り戸は貧乏臭い fact7: もし仮にあの私達一人一人が馴染み深くないとすればこの資源投入は買い溜めだしおまけに旧称だ fact8: もし仮にあの私達一人一人が社内ＬＡＮだ一方で教育的指導でないならばこの犯人逮捕は臨時便でない fact9: 「この枝折り戸は分かり易くないけど剃り上げる」ということは誤りだとすればこの犯人逮捕は分かり易くない fact10: この一日号は貧乏臭い fact11: もし仮にこの一日号が貧乏臭いならばそれは分かり易くないし加えてそれは強心薬だ fact12: 仮に「なにがしかのものは本菌であるしかつ買い溜めだ」ということは事実と異なるとしたらそれは旧称でない fact13: 仮にこの資源投入が全曲であるならあの私達一人一人は社内ＬＡＮであるがしかし教育的指導であるということはない fact14: 仮に「この犯人逮捕は臨時便であるということはない」ということは事実なら「この枝折り戸は本菌であるし更に買い溜めだ」ということは事実と異なる fact15: 分かり易くないものは強心薬であるかもしくは馴染み深くないか両方ともである fact16: 仮にこの一日号が分かり易くないとしたらこの枝折り戸は旧称であるしまた馴染み深い
void -> assump1: 以下のように仮定する。この資源投入は全曲だ; fact13 & assump1 -> int1: あの私達一人一人は社内ＬＡＮであるがしかし教育的指導でない; int1 & fact8 -> int2: この犯人逮捕は臨時便でない; int2 & fact14 -> int3: 「この枝折り戸が本菌だしさらに買い溜めである」ということは偽だ; fact12 -> int4: 仮に「「この枝折り戸は本菌であるししかも買い溜めだ」ということは成り立つ」ということは成り立たないならば旧称でない; int3 & int4 -> int5: この枝折り戸は旧称でない; fact10 & fact11 -> int6: この一日号は分かり易くない一方で強心薬だ; int6 -> int7: この一日号は分かり易くない; int7 & fact16 -> int8: この枝折り戸は旧称でその上それは馴染み深い; int8 -> int9: この枝折り戸は旧称だ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その狂騒は本菌だ
fact17 -> int11: もしこの資源投入が買い溜めであるならそれは全曲であるしそれは臨時便でない; fact21 -> int12: この犯人逮捕が分かり易くないならそれは強心薬であるかそれは馴染み深くない;
$facts$ = fact1: 仮に「この一日号は貧乏臭い」ということは本当であるならば「それは強心薬である」ということは真実だ fact2: この犯人逮捕が強心薬であるかあるいは馴染み深いということはないとすればあの私達一人一人は馴染み深いということはない fact3: 買い溜めは全曲だ一方で臨時便でない fact4: この一日号は強心薬だ fact5: もし何かは本菌でないならそれは旧称でない fact6: この枝折り戸は貧乏臭い fact7: もし仮にあの私達一人一人が馴染み深くないとすればこの資源投入は買い溜めだしおまけに旧称だ fact8: もし仮にあの私達一人一人が社内ＬＡＮだ一方で教育的指導でないならばこの犯人逮捕は臨時便でない fact9: 「この枝折り戸は分かり易くないけど剃り上げる」ということは誤りだとすればこの犯人逮捕は分かり易くない fact10: この一日号は貧乏臭い fact11: もし仮にこの一日号が貧乏臭いならばそれは分かり易くないし加えてそれは強心薬だ fact12: 仮に「なにがしかのものは本菌であるしかつ買い溜めだ」ということは事実と異なるとしたらそれは旧称でない fact13: 仮にこの資源投入が全曲であるならあの私達一人一人は社内ＬＡＮであるがしかし教育的指導であるということはない fact14: 仮に「この犯人逮捕は臨時便であるということはない」ということは事実なら「この枝折り戸は本菌であるし更に買い溜めだ」ということは事実と異なる fact15: 分かり易くないものは強心薬であるかもしくは馴染み深くないか両方ともである fact16: 仮にこの一日号が分かり易くないとしたらこの枝折り戸は旧称であるしまた馴染み深い ; $hypothesis$ = この資源投入は全曲である ; $proof$ = 
void -> assump1: 以下のように仮定する。この資源投入は全曲だ; fact13 & assump1 -> int1: あの私達一人一人は社内ＬＡＮであるがしかし教育的指導でない; int1 & fact8 -> int2: この犯人逮捕は臨時便でない; int2 & fact14 -> int3: 「この枝折り戸が本菌だしさらに買い溜めである」ということは偽だ; fact12 -> int4: 仮に「「この枝折り戸は本菌であるししかも買い溜めだ」ということは成り立つ」ということは成り立たないならば旧称でない; int3 & int4 -> int5: この枝折り戸は旧称でない; fact10 & fact11 -> int6: この一日号は分かり易くない一方で強心薬だ; int6 -> int7: この一日号は分かり易くない; int7 & fact16 -> int8: この枝折り戸は旧称でその上それは馴染み深い; int8 -> int9: この枝折り戸は旧称だ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: 仮に「この一日号は貧乏臭い」ということは本当であるならば「それは強心薬である」ということは真実だ
事実2: この犯人逮捕が強心薬であるかあるいは馴染み深いということはないとすればあの私達一人一人は馴染み深いということはない
事実3: 買い溜めは全曲だ一方で臨時便でない
事実4: この一日号は強心薬だ
事実5: もし何かは本菌でないならそれは旧称でない
事実6: この枝折り戸は貧乏臭い
事実7: もし仮にあの私達一人一人が馴染み深くないとすればこの資源投入は買い溜めだしおまけに旧称だ
事実8: もし仮にあの私達一人一人が社内ＬＡＮだ一方で教育的指導でないならばこの犯人逮捕は臨時便でない
事実9: 「この枝折り戸は分かり易くないけど剃り上げる」ということは誤りだとすればこの犯人逮捕は分かり易くない
事実10: この一日号は貧乏臭い
事実11: もし仮にこの一日号が貧乏臭いならばそれは分かり易くないし加えてそれは強心薬だ
事実12: 仮に「なにがしかのものは本菌であるしかつ買い溜めだ」ということは事実と異なるとしたらそれは旧称でない
事実13: 仮にこの資源投入が全曲であるならあの私達一人一人は社内ＬＡＮであるがしかし教育的指導であるということはない
事実14: 仮に「この犯人逮捕は臨時便であるということはない」ということは事実なら「この枝折り戸は本菌であるし更に買い溜めだ」ということは事実と異なる
事実15: 分かり易くないものは強心薬であるかもしくは馴染み深くないか両方ともである
事実16: 仮にこの一日号が分かり易くないとしたらこの枝折り戸は旧称であるしまた馴染み深い

仮説: この資源投入は全曲である
1. 仮定1: 以下のように仮定する。この資源投入は全曲だ
2. 事実13と仮定1から、推論1: "あの私達一人一人は社内ＬＡＮであるがしかし教育的指導でない"が導かれる
3. 推論1と事実8から、推論2: "この犯人逮捕は臨時便でない"が導かれる
4. 推論2と事実14から、推論3: "「この枝折り戸が本菌だしさらに買い溜めである」ということは偽だ"が導かれる
5. 事実12から、推論4: "仮に「「この枝折り戸は本菌であるししかも買い溜めだ」ということは成り立つ」ということは成り立たないならば旧称でない"が導かれる
6. 推論3と推論4から、推論5: "この枝折り戸は旧称でない"が導かれる
7. 事実10と事実11から、推論6: "この一日号は分かり易くない一方で強心薬だ"が導かれる
8. 推論6から、推論7: "この一日号は分かり易くない"が導かれる
9. 推論7と事実16から、推論8: "この枝折り戸は旧称でその上それは馴染み深い"が導かれる
10. 推論8から、推論9: "この枝折り戸は旧称だ"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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