「「もし仮に「理解し辛くない」ということは確かであるとすると「生々しかないしおまけに押さえ切れない」ということは間違いである」物はある」ということは成り立たない
fact1: もし仮にこの意見交換が処理しないとすればこの仕込み杖は処理するということはない fact2: もし仮にこの仕込み杖が生々しい一方で押さえ切れるということはないならば理解し辛い fact3: もし仮にあるものが宜しとしたらそれは薄暗いかもしくは処理しない fact4: もしある物が特製するとすれば広がらない fact5: この仕込み杖は押さえ切れない fact6: この仕込み杖が生々しかないしさらに押さえ切れないとしたら理解し辛い fact7: 「この仕込み杖は面会人だが生々しかない」ということは事実と異なる fact8: もし仮に「なにがしかのものは宜しないししかも末恐ろしくない」ということは成り立たないとすれば宜し fact9: もしもこの仕込み杖が御聞きに成らない一方でそれは生々しいならば「撃墜する」ということは成り立つ fact10: この仕込み杖は生々しかない fact11: 仮にこの仕込み杖は理解し辛くないとすると「それは生々しかないがしかし押さえ切れる」ということは誤っている fact12: 「仮に民間賃貸住宅であるとすると「物凄くないしさらに大和魂でない」ということは嘘である」ものはある fact13: 仮にこの対象薬剤は抱き始めるとすれば「宜しないしかつ末恐ろしくない」ということは成り立たない fact14: もしもなにがしかの物が処理しないならばそれは特製するし輝かしい fact15: この仕込み杖は付け足しである fact16: 「もし仮に理解し辛いということはないなら「生々しいけれど押さえ切れない」ということは間違っている」ものはある fact17: 仮にこの仕込み杖は広がらないとしたら「あの六窓は画定しないしおまけに理解し辛くない」ということは間違いだ fact18: もしこの対象薬剤が薄暗いかそれが処理するということはないならこの意見交換は処理するということはない
void -> assump2: 以下のように仮定する。この仕込み杖は生々しかなくて更に押さえ切れない; fact6 & assump2 -> int1: この仕込み杖は理解し辛い; void -> assump1: 以下のように仮定する。この仕込み杖は理解し辛くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この仕込み杖は生々しかなくて押さえ切れない」ということは間違いである; [assump1] & int3 -> int4: 「もしも「この仕込み杖は理解し辛いということはない」ということは正しいとすると「この仕込み杖は生々しいということはなくてしかも押さえ切れるということはない」ということは成り立たない」ということは事実だ; int4 -> hypothesis;
「「あの六窓は画定するということはなくて理解し辛くない」ということは間違っている」ということは確かだ
fact24 -> int5: この仕込み杖が特製するならそれは広がらない; fact20 -> int6: 仮に「この仕込み杖は処理しない」ということは事実であるとすると特製するし輝かしい; fact19 -> int7: この対象薬剤が宜しとしたらそれは薄暗いかそれは処理しないかあるいはどちらもだ; fact25 -> int8: もし仮に「この対象薬剤は宜しないし加えて末恐ろしくない」ということは成り立たないなら宜し;
$facts$ = fact1: もし仮にこの意見交換が処理しないとすればこの仕込み杖は処理するということはない fact2: もし仮にこの仕込み杖が生々しい一方で押さえ切れるということはないならば理解し辛い fact3: もし仮にあるものが宜しとしたらそれは薄暗いかもしくは処理しない fact4: もしある物が特製するとすれば広がらない fact5: この仕込み杖は押さえ切れない fact6: この仕込み杖が生々しかないしさらに押さえ切れないとしたら理解し辛い fact7: 「この仕込み杖は面会人だが生々しかない」ということは事実と異なる fact8: もし仮に「なにがしかのものは宜しないししかも末恐ろしくない」ということは成り立たないとすれば宜し fact9: もしもこの仕込み杖が御聞きに成らない一方でそれは生々しいならば「撃墜する」ということは成り立つ fact10: この仕込み杖は生々しかない fact11: 仮にこの仕込み杖は理解し辛くないとすると「それは生々しかないがしかし押さえ切れる」ということは誤っている fact12: 「仮に民間賃貸住宅であるとすると「物凄くないしさらに大和魂でない」ということは嘘である」ものはある fact13: 仮にこの対象薬剤は抱き始めるとすれば「宜しないしかつ末恐ろしくない」ということは成り立たない fact14: もしもなにがしかの物が処理しないならばそれは特製するし輝かしい fact15: この仕込み杖は付け足しである fact16: 「もし仮に理解し辛いということはないなら「生々しいけれど押さえ切れない」ということは間違っている」ものはある fact17: 仮にこの仕込み杖は広がらないとしたら「あの六窓は画定しないしおまけに理解し辛くない」ということは間違いだ fact18: もしこの対象薬剤が薄暗いかそれが処理するということはないならこの意見交換は処理するということはない ; $hypothesis$ = 「「もし仮に「理解し辛くない」ということは確かであるとすると「生々しかないしおまけに押さえ切れない」ということは間違いである」物はある」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。この仕込み杖は生々しかなくて更に押さえ切れない; fact6 & assump2 -> int1: この仕込み杖は理解し辛い; void -> assump1: 以下のように仮定する。この仕込み杖は理解し辛くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この仕込み杖は生々しかなくて押さえ切れない」ということは間違いである; [assump1] & int3 -> int4: 「もしも「この仕込み杖は理解し辛いということはない」ということは正しいとすると「この仕込み杖は生々しいということはなくてしかも押さえ切れるということはない」ということは成り立たない」ということは事実だ; int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの意見交換が処理しないとすればこの仕込み杖は処理するということはない
事実2: もし仮にこの仕込み杖が生々しい一方で押さえ切れるということはないならば理解し辛い
事実3: もし仮にあるものが宜しとしたらそれは薄暗いかもしくは処理しない
事実4: もしある物が特製するとすれば広がらない
事実5: この仕込み杖は押さえ切れない
事実6: この仕込み杖が生々しかないしさらに押さえ切れないとしたら理解し辛い
事実7: 「この仕込み杖は面会人だが生々しかない」ということは事実と異なる
事実8: もし仮に「なにがしかのものは宜しないししかも末恐ろしくない」ということは成り立たないとすれば宜し
事実9: もしもこの仕込み杖が御聞きに成らない一方でそれは生々しいならば「撃墜する」ということは成り立つ
事実10: この仕込み杖は生々しかない
事実11: 仮にこの仕込み杖は理解し辛くないとすると「それは生々しかないがしかし押さえ切れる」ということは誤っている
事実12: 「仮に民間賃貸住宅であるとすると「物凄くないしさらに大和魂でない」ということは嘘である」ものはある
事実13: 仮にこの対象薬剤は抱き始めるとすれば「宜しないしかつ末恐ろしくない」ということは成り立たない
事実14: もしもなにがしかの物が処理しないならばそれは特製するし輝かしい
事実15: この仕込み杖は付け足しである
事実16: 「もし仮に理解し辛いということはないなら「生々しいけれど押さえ切れない」ということは間違っている」ものはある
事実17: 仮にこの仕込み杖は広がらないとしたら「あの六窓は画定しないしおまけに理解し辛くない」ということは間違いだ
事実18: もしこの対象薬剤が薄暗いかそれが処理するということはないならこの意見交換は処理するということはない

仮説: 「「もし仮に「理解し辛くない」ということは確かであるとすると「生々しかないしおまけに押さえ切れない」ということは間違いである」物はある」ということは成り立たない
1. 仮定2: 以下のように仮定する。この仕込み杖は生々しかなくて更に押さえ切れない
2. 事実6と仮定2から、推論1: "この仕込み杖は理解し辛い"が導かれる
3. 仮定1: 以下のように仮定する。この仕込み杖は理解し辛くない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この仕込み杖は生々しかなくて押さえ切れない」ということは間違いである"が導かれる
6. [仮定1]と推論3から、推論4: "「もしも「この仕込み杖は理解し辛いということはない」ということは正しいとすると「この仕込み杖は生々しいということはなくてしかも押さえ切れるということはない」ということは成り立たない」ということは事実だ"が導かれる
7. 推論4から、仮説が否定される

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