「あの文学思潮はめんどいし御美しい」ということは偽だ
fact1: もし「ソ連機でない」ものはあるとしたら「あの怪獣映画は癒し難くないしかつ白猫だということはない」ということは間違いだ fact2: あの意気はカフェテリアでない fact3: もし「あの怪獣映画は御美しいものでおまけにがつがつしない」ということは成り立たないとすれば御美しくない fact4: もしもとある物はソ連機であるならば「御美しくてそれはがつがつしない」ということは嘘である fact5: あの怪獣映画はソ連機であるしカフェテリアである fact6: もしあの怪獣映画は白猫であるとすれば子供時代である fact7: もしも何かは御美しくないならば「それは癒し難いけれどめんどくない」ということは誤りだ fact8: とある物は物狂おしいしその上子供時代である fact9: もしもあの怪獣映画が癒し難いならあの文学思潮はめんどい fact10: もし何らかの物が物狂おしくてまたそれが子供時代であるとするとあの怪獣映画は白猫でない fact11: 「ソ連機でない」物はある fact12: 何らかのものが子供時代だとすればあの暫定リストは物狂おしくない fact13: 仮にあの意気はカフェテリアでないとしたら御美しくないしがつがつしない fact14: もし仮にあの意気が御美しくなくてかつがつがつしないならばあの文学思潮は御美しい
fact8 & fact10 -> int1: あの怪獣映画は白猫でない; void -> assump1: 以下のように仮定する。あの怪獣映画は癒し難くない; int1 & assump1 -> int2: あの怪獣映画は癒し難くないしそれに白猫でない; fact1 & fact11 -> int3: 「あの怪獣映画は癒し難くなくてかつ白猫でない」ということは確かでない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの怪獣映画は癒し難い; int5 & fact9 -> int6: あの文学思潮はめんどい; fact2 & fact13 -> int7: あの意気は御美しくないしおまけにそれはがつがつしない; fact14 & int7 -> int8: あの文学思潮は御美しい; int6 & int8 -> hypothesis;
この暫定リストは物狂おしくない
fact17 -> int9: もし仮にあの怪獣映画は御美しくないなら「癒し難いがしかしめんどくない」ということは誤っている; fact19 -> int10: あの怪獣映画はソ連機であるとすれば「御美しいけれどがつがつしない」ということは成り立たない; fact15 -> int11: 「あの怪獣映画はソ連機である」ということは成り立つ; int10 & int11 -> int12: 「あの怪獣映画は御美しいががつがつしない」ということは成り立たない; fact16 & int12 -> int13: あの怪獣映画は御美しくない; int9 & int13 -> int14: 「あの怪獣映画は癒し難いけれどめんどくない」ということは成り立たない;
$facts$ = fact1: もし「ソ連機でない」ものはあるとしたら「あの怪獣映画は癒し難くないしかつ白猫だということはない」ということは間違いだ fact2: あの意気はカフェテリアでない fact3: もし「あの怪獣映画は御美しいものでおまけにがつがつしない」ということは成り立たないとすれば御美しくない fact4: もしもとある物はソ連機であるならば「御美しくてそれはがつがつしない」ということは嘘である fact5: あの怪獣映画はソ連機であるしカフェテリアである fact6: もしあの怪獣映画は白猫であるとすれば子供時代である fact7: もしも何かは御美しくないならば「それは癒し難いけれどめんどくない」ということは誤りだ fact8: とある物は物狂おしいしその上子供時代である fact9: もしもあの怪獣映画が癒し難いならあの文学思潮はめんどい fact10: もし何らかの物が物狂おしくてまたそれが子供時代であるとするとあの怪獣映画は白猫でない fact11: 「ソ連機でない」物はある fact12: 何らかのものが子供時代だとすればあの暫定リストは物狂おしくない fact13: 仮にあの意気はカフェテリアでないとしたら御美しくないしがつがつしない fact14: もし仮にあの意気が御美しくなくてかつがつがつしないならばあの文学思潮は御美しい ; $hypothesis$ = 「あの文学思潮はめんどいし御美しい」ということは偽だ ; $proof$ = 
fact8 & fact10 -> int1: あの怪獣映画は白猫でない; void -> assump1: 以下のように仮定する。あの怪獣映画は癒し難くない; int1 & assump1 -> int2: あの怪獣映画は癒し難くないしそれに白猫でない; fact1 & fact11 -> int3: 「あの怪獣映画は癒し難くなくてかつ白猫でない」ということは確かでない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの怪獣映画は癒し難い; int5 & fact9 -> int6: あの文学思潮はめんどい; fact2 & fact13 -> int7: あの意気は御美しくないしおまけにそれはがつがつしない; fact14 & int7 -> int8: あの文学思潮は御美しい; int6 & int8 -> hypothesis; __DISPROVED__
事実1: もし「ソ連機でない」ものはあるとしたら「あの怪獣映画は癒し難くないしかつ白猫だということはない」ということは間違いだ
事実2: あの意気はカフェテリアでない
事実3: もし「あの怪獣映画は御美しいものでおまけにがつがつしない」ということは成り立たないとすれば御美しくない
事実4: もしもとある物はソ連機であるならば「御美しくてそれはがつがつしない」ということは嘘である
事実5: あの怪獣映画はソ連機であるしカフェテリアである
事実6: もしあの怪獣映画は白猫であるとすれば子供時代である
事実7: もしも何かは御美しくないならば「それは癒し難いけれどめんどくない」ということは誤りだ
事実8: とある物は物狂おしいしその上子供時代である
事実9: もしもあの怪獣映画が癒し難いならあの文学思潮はめんどい
事実10: もし何らかの物が物狂おしくてまたそれが子供時代であるとするとあの怪獣映画は白猫でない
事実11: 「ソ連機でない」物はある
事実12: 何らかのものが子供時代だとすればあの暫定リストは物狂おしくない
事実13: 仮にあの意気はカフェテリアでないとしたら御美しくないしがつがつしない
事実14: もし仮にあの意気が御美しくなくてかつがつがつしないならばあの文学思潮は御美しい

仮説: 「あの文学思潮はめんどいし御美しい」ということは偽だ
1. 事実8と事実10から、推論1: "あの怪獣映画は白猫でない"が導かれる
2. 仮定1: 以下のように仮定する。あの怪獣映画は癒し難くない
3. 推論1と仮定1から、推論2: "あの怪獣映画は癒し難くないしそれに白猫でない"が導かれる
4. 事実1と事実11から、推論3: "「あの怪獣映画は癒し難くなくてかつ白猫でない」ということは確かでない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの怪獣映画は癒し難い"が導かれる
7. 推論5と事実9から、推論6: "あの文学思潮はめんどい"が導かれる
8. 事実2と事実13から、推論7: "あの意気は御美しくないしおまけにそれはがつがつしない"が導かれる
9. 事実14と推論7から、推論8: "あの文学思潮は御美しい"が導かれる
10. 推論6と推論8から、仮説が否定される

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