「その詰め上がり図は損金算入するし出来難い」ということは誤っている
fact1: 「「出来難いしおまけに手繰る」ということは成り立たない」ものはある fact2: 全ての物は息苦しくない fact3: もし何らかの物は落命しないなら「電報するしそれにそれは手繰る」ということは誤っている fact4: 「シロダーラな」物はあるとしたら「この教育行財政は手繰るが電報しない」ということは成り立たない fact5: 「シロダーラである」ものはある fact6: 「その詰め上がり図は損金算入する」ということは確かだ fact7: 仮に「「出来難いけど電報するということはない」ということは嘘である」物があるならばあの詰め上がり図は損金算入する fact8: 「「損金算入するが手繰らない」ということは嘘な」ものはある fact9: 仮に「「手繰るがしかし電報しない」ということは成り立たない」ものがあるならその詰め上がり図は落命する fact10: もし仮にその詰め上がり図が落命すればそれは出来難い fact11: 仮になにがしかのものは息苦しいということはないとすると「それはメニュー名でそれに落命する」ということは成り立つということはない fact12: 「その十二月現在は損金算入する」ということは確かだ fact13: もしも「シロダーラな」ものはあるとすれば「この教育行財政は手繰るしさらに電報する」ということは成り立たない fact14: もし仮に「この教育行財政は電報するし加えて手繰る」ということは嘘だとすればその詰め上がり図はシロダーラでない fact15: もし仮にその詰め上がり図が損金算入するとしたらそれは手繰る
fact5 & fact4 -> int1: 「この教育行財政は手繰る一方でそれは電報しない」ということは間違いである; int1 -> int2: 「「手繰る一方で電報しない」ということは誤っている」物はある; int2 & fact9 -> int3: その詰め上がり図は落命する; int3 & fact10 -> int4: その詰め上がり図は出来難い; int4 & fact6 -> hypothesis;
「その詰め上がり図は損金算入するしまた出来難い」ということは誤りである
fact16 -> int5: もし仮にこの教育行財政は落命しないとすると「それは電報するしさらに手繰る」ということは成り立たない; fact19 -> int6: もしあの社会的環境は息苦しくないとしたら「メニュー名であるし落命する」ということは誤りである; fact18 -> int7: あの社会的環境は息苦しくない; int6 & int7 -> int8: 「「あの社会的環境はメニュー名で加えて落命する」ということは誤っている」ということは正しい; int8 -> int9: それはメニュー名だししかも落命するという物はない; int9 -> int10: 「この教育行財政がメニュー名だしおまけに落命する」ということは偽である;
$facts$ = fact1: 「「出来難いしおまけに手繰る」ということは成り立たない」ものはある fact2: 全ての物は息苦しくない fact3: もし何らかの物は落命しないなら「電報するしそれにそれは手繰る」ということは誤っている fact4: 「シロダーラな」物はあるとしたら「この教育行財政は手繰るが電報しない」ということは成り立たない fact5: 「シロダーラである」ものはある fact6: 「その詰め上がり図は損金算入する」ということは確かだ fact7: 仮に「「出来難いけど電報するということはない」ということは嘘である」物があるならばあの詰め上がり図は損金算入する fact8: 「「損金算入するが手繰らない」ということは嘘な」ものはある fact9: 仮に「「手繰るがしかし電報しない」ということは成り立たない」ものがあるならその詰め上がり図は落命する fact10: もし仮にその詰め上がり図が落命すればそれは出来難い fact11: 仮になにがしかのものは息苦しいということはないとすると「それはメニュー名でそれに落命する」ということは成り立つということはない fact12: 「その十二月現在は損金算入する」ということは確かだ fact13: もしも「シロダーラな」ものはあるとすれば「この教育行財政は手繰るしさらに電報する」ということは成り立たない fact14: もし仮に「この教育行財政は電報するし加えて手繰る」ということは嘘だとすればその詰め上がり図はシロダーラでない fact15: もし仮にその詰め上がり図が損金算入するとしたらそれは手繰る ; $hypothesis$ = 「その詰め上がり図は損金算入するし出来難い」ということは誤っている ; $proof$ = 
fact5 & fact4 -> int1: 「この教育行財政は手繰る一方でそれは電報しない」ということは間違いである; int1 -> int2: 「「手繰る一方で電報しない」ということは誤っている」物はある; int2 & fact9 -> int3: その詰め上がり図は落命する; int3 & fact10 -> int4: その詰め上がり図は出来難い; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「出来難いしおまけに手繰る」ということは成り立たない」ものはある
事実2: 全ての物は息苦しくない
事実3: もし何らかの物は落命しないなら「電報するしそれにそれは手繰る」ということは誤っている
事実4: 「シロダーラな」物はあるとしたら「この教育行財政は手繰るが電報しない」ということは成り立たない
事実5: 「シロダーラである」ものはある
事実6: 「その詰め上がり図は損金算入する」ということは確かだ
事実7: 仮に「「出来難いけど電報するということはない」ということは嘘である」物があるならばあの詰め上がり図は損金算入する
事実8: 「「損金算入するが手繰らない」ということは嘘な」ものはある
事実9: 仮に「「手繰るがしかし電報しない」ということは成り立たない」ものがあるならその詰め上がり図は落命する
事実10: もし仮にその詰め上がり図が落命すればそれは出来難い
事実11: 仮になにがしかのものは息苦しいということはないとすると「それはメニュー名でそれに落命する」ということは成り立つということはない
事実12: 「その十二月現在は損金算入する」ということは確かだ
事実13: もしも「シロダーラな」ものはあるとすれば「この教育行財政は手繰るしさらに電報する」ということは成り立たない
事実14: もし仮に「この教育行財政は電報するし加えて手繰る」ということは嘘だとすればその詰め上がり図はシロダーラでない
事実15: もし仮にその詰め上がり図が損金算入するとしたらそれは手繰る

仮説: 「その詰め上がり図は損金算入するし出来難い」ということは誤っている
1. 事実5と事実4から、推論1: "「この教育行財政は手繰る一方でそれは電報しない」ということは間違いである"が導かれる
2. 推論1から、推論2: "「「手繰る一方で電報しない」ということは誤っている」物はある"が導かれる
3. 推論2と事実9から、推論3: "その詰め上がり図は落命する"が導かれる
4. 推論3と事実10から、推論4: "その詰め上がり図は出来難い"が導かれる
5. 推論4と事実6から、仮説が否定される

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