「「起き為さるし更に添加する」ものはある」ということは成り立たない
fact1: もしも「そのサン・ジャパンは溶け難くない一方で下の句である」ということは誤りならば「あの孫局長は起き為さる」ということは正しい fact2: 仮にそのサン・ジャパンが溶け難いならあの孫局長は起き為さる fact3: 離散時間システムは溶け難い fact4: 引き出し易くないものは職名であるけれど溶け難くない fact5: 仮にこの清末が投書箱であるならその抜け駆けは換気所だ fact6: もしあの非常事態宣言は溶け難いならば「そのサン・ジャパンは溶け難いということはないけど下の句である」ということは成り立たない fact7: 「「そのサン・ジャパンは換気所であるしまた溶け難い」ということは事実と異なる」ということは正しい fact8: 仮にあの非常事態宣言は離散時間システムであるとすればそれは溶け難い fact9: もしもあの孫局長が職名であるが溶け難くないとすればそのサン・ジャパンは職名である fact10: もし仮になんらかの物は引き出し易いとすれば「それは離散時間システムでないしおまけにそれは多治見家である」ということは成り立たない fact11: この清末が投書箱だしさらにそれは海軍武官である fact12: あの非常事態宣言は引き出し易いしまたそれは職名である fact13: 仮にこの清末が起き為さればあの孫局長は投書箱である fact14: 「そのサン・ジャパンは換気所でない一方でそれは溶け難い」ということは確かでない fact15: もし仮に「ある物は離散時間システムでない一方でそれは多治見家である」ということは事実だということはないとすればそれは溶け難い fact16: もし仮にその抜け駆けが換気所であるならばあの孫局長は添加する fact17: もしも「なんらかの物は起き為さるし更に下の句である」ということは真実でないとすると「それは引き出し易くない」ということは事実だ
fact10 -> int1: もしもあの非常事態宣言は引き出し易いとしたら「それは離散時間システムでない一方で多治見家だ」ということは偽だ; fact12 -> int2: あの非常事態宣言は引き出し易い; int1 & int2 -> int3: 「あの非常事態宣言は離散時間システムでないがしかし多治見家である」ということは嘘である; fact15 -> int4: もし仮に「あの非常事態宣言は離散時間システムでないけど多治見家である」ということは誤りだとすればそれは溶け難い; int3 & int4 -> int5: あの非常事態宣言は溶け難い; int5 & fact6 -> int6: 「そのサン・ジャパンは溶け難くないがしかし下の句だ」ということは成り立たない; int6 & fact1 -> int7: あの孫局長は起き為さる; fact11 -> int8: この清末は投書箱だ; fact5 & int8 -> int9: その抜け駆けは換気所である; fact16 & int9 -> int10: 「あの孫局長は添加する」ということは成り立つ; int7 & int10 -> int11: あの孫局長が起き為さるしその上添加する; int11 -> hypothesis;
そのサン・ジャパンは職名である
fact20 -> int12: もしあの孫局長が引き出し易くないならそれが職名だし更に溶け難くない; fact18 -> int13: もし「あの孫局長は起き為さるし下の句である」ということは偽であるならばそれは引き出し易くない;
$facts$ = fact1: もしも「そのサン・ジャパンは溶け難くない一方で下の句である」ということは誤りならば「あの孫局長は起き為さる」ということは正しい fact2: 仮にそのサン・ジャパンが溶け難いならあの孫局長は起き為さる fact3: 離散時間システムは溶け難い fact4: 引き出し易くないものは職名であるけれど溶け難くない fact5: 仮にこの清末が投書箱であるならその抜け駆けは換気所だ fact6: もしあの非常事態宣言は溶け難いならば「そのサン・ジャパンは溶け難いということはないけど下の句である」ということは成り立たない fact7: 「「そのサン・ジャパンは換気所であるしまた溶け難い」ということは事実と異なる」ということは正しい fact8: 仮にあの非常事態宣言は離散時間システムであるとすればそれは溶け難い fact9: もしもあの孫局長が職名であるが溶け難くないとすればそのサン・ジャパンは職名である fact10: もし仮になんらかの物は引き出し易いとすれば「それは離散時間システムでないしおまけにそれは多治見家である」ということは成り立たない fact11: この清末が投書箱だしさらにそれは海軍武官である fact12: あの非常事態宣言は引き出し易いしまたそれは職名である fact13: 仮にこの清末が起き為さればあの孫局長は投書箱である fact14: 「そのサン・ジャパンは換気所でない一方でそれは溶け難い」ということは確かでない fact15: もし仮に「ある物は離散時間システムでない一方でそれは多治見家である」ということは事実だということはないとすればそれは溶け難い fact16: もし仮にその抜け駆けが換気所であるならばあの孫局長は添加する fact17: もしも「なんらかの物は起き為さるし更に下の句である」ということは真実でないとすると「それは引き出し易くない」ということは事実だ ; $hypothesis$ = 「「起き為さるし更に添加する」ものはある」ということは成り立たない ; $proof$ = 
fact10 -> int1: もしもあの非常事態宣言は引き出し易いとしたら「それは離散時間システムでない一方で多治見家だ」ということは偽だ; fact12 -> int2: あの非常事態宣言は引き出し易い; int1 & int2 -> int3: 「あの非常事態宣言は離散時間システムでないがしかし多治見家である」ということは嘘である; fact15 -> int4: もし仮に「あの非常事態宣言は離散時間システムでないけど多治見家である」ということは誤りだとすればそれは溶け難い; int3 & int4 -> int5: あの非常事態宣言は溶け難い; int5 & fact6 -> int6: 「そのサン・ジャパンは溶け難くないがしかし下の句だ」ということは成り立たない; int6 & fact1 -> int7: あの孫局長は起き為さる; fact11 -> int8: この清末は投書箱だ; fact5 & int8 -> int9: その抜け駆けは換気所である; fact16 & int9 -> int10: 「あの孫局長は添加する」ということは成り立つ; int7 & int10 -> int11: あの孫局長が起き為さるしその上添加する; int11 -> hypothesis; __DISPROVED__
事実1: もしも「そのサン・ジャパンは溶け難くない一方で下の句である」ということは誤りならば「あの孫局長は起き為さる」ということは正しい
事実2: 仮にそのサン・ジャパンが溶け難いならあの孫局長は起き為さる
事実3: 離散時間システムは溶け難い
事実4: 引き出し易くないものは職名であるけれど溶け難くない
事実5: 仮にこの清末が投書箱であるならその抜け駆けは換気所だ
事実6: もしあの非常事態宣言は溶け難いならば「そのサン・ジャパンは溶け難いということはないけど下の句である」ということは成り立たない
事実7: 「「そのサン・ジャパンは換気所であるしまた溶け難い」ということは事実と異なる」ということは正しい
事実8: 仮にあの非常事態宣言は離散時間システムであるとすればそれは溶け難い
事実9: もしもあの孫局長が職名であるが溶け難くないとすればそのサン・ジャパンは職名である
事実10: もし仮になんらかの物は引き出し易いとすれば「それは離散時間システムでないしおまけにそれは多治見家である」ということは成り立たない
事実11: この清末が投書箱だしさらにそれは海軍武官である
事実12: あの非常事態宣言は引き出し易いしまたそれは職名である
事実13: 仮にこの清末が起き為さればあの孫局長は投書箱である
事実14: 「そのサン・ジャパンは換気所でない一方でそれは溶け難い」ということは確かでない
事実15: もし仮に「ある物は離散時間システムでない一方でそれは多治見家である」ということは事実だということはないとすればそれは溶け難い
事実16: もし仮にその抜け駆けが換気所であるならばあの孫局長は添加する
事実17: もしも「なんらかの物は起き為さるし更に下の句である」ということは真実でないとすると「それは引き出し易くない」ということは事実だ

仮説: 「「起き為さるし更に添加する」ものはある」ということは成り立たない
1. 事実10から、推論1: "もしもあの非常事態宣言は引き出し易いとしたら「それは離散時間システムでない一方で多治見家だ」ということは偽だ"が導かれる
2. 事実12から、推論2: "あの非常事態宣言は引き出し易い"が導かれる
3. 推論1と推論2から、推論3: "「あの非常事態宣言は離散時間システムでないがしかし多治見家である」ということは嘘である"が導かれる
4. 事実15から、推論4: "もし仮に「あの非常事態宣言は離散時間システムでないけど多治見家である」ということは誤りだとすればそれは溶け難い"が導かれる
5. 推論3と推論4から、推論5: "あの非常事態宣言は溶け難い"が導かれる
6. 推論5と事実6から、推論6: "「そのサン・ジャパンは溶け難くないがしかし下の句だ」ということは成り立たない"が導かれる
7. 推論6と事実1から、推論7: "あの孫局長は起き為さる"が導かれる
8. 事実11から、推論8: "この清末は投書箱だ"が導かれる
9. 事実5と推論8から、推論9: "その抜け駆けは換気所である"が導かれる
10. 事実16と推論9から、推論10: "「あの孫局長は添加する」ということは成り立つ"が導かれる
11. 推論7と推論10から、推論11: "あの孫局長が起き為さるしその上添加する"が導かれる
12. 推論11から、仮説が否定される

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