「「もし楽しくないならばニューディールだしおまけに春らしくない」物はある」ということは成り立たない
fact1: 「「楽しくない」ということは誤っていないとすればニューディールである」物はある fact2: もし仮にその複合型が楽しくないとしたらニューディールであるし嫌らしい fact3: もしその複合型が楽しいならばこの国庫負担は引き締まるがそれはぱりっとしない fact4: 「もし仮に楽しくないとすると「嫌らしいしまたニューディールでない」ということは真実である」物はある fact5: 「もし楽しいならば「ニューディールだけれど春らしくない」ということは確かである」ものはある fact6: 仮にその複合型が楽しいとすればニューディールだし更に春らしくない fact7: あの区切り線は明け放つしその上嫌らしい fact8: もしもこの基礎作りは引き摺り出すしその上春らしいとすれば「その複合型は春らしくない」ということは間違っていない fact9: この基礎作りは改良揚操網であるし更に嫌らしい fact10: 仮に「その複合型は楽しいということはない」ということは真実であるならそれは嫌らしい fact11: もし「なにがしかの物は拭い取るし度し難い」ということは成り立たないならば「打ち殺さない」ということは成り立つ fact12: もしこの基礎作りが春らしくないとすればそれは楽しいしおまけにそれは嫌らしい fact13: 拭い取るし更にそれは度し難いというものはない fact14: この基礎作りは引き摺り出すしそれは春らしい fact15: その複合型は嫌らしい fact16: もし仮にこの基礎作りが楽しいとしたら春らしいし更にニューディールである fact17: 「この基礎作りは春らしい」ということは成り立つ fact18: 「もし仮に「結婚し為さらない」ということは成り立つなら「見せ付けない」ということは成り立つ」ものはある fact19: もし仮にその複合型が引き摺り出せばそれは春らしいししかもそれは嫌らしい
void -> assump1: 以下のように仮定する。その複合型は楽しいということはない; fact2 & assump1 -> int1: その複合型がニューディールだしかつそれは嫌らしい; int1 -> int2: その複合型はニューディールだ; fact14 & fact8 -> int3: その複合型は春らしいということはない; int2 & int3 -> int4: その複合型はニューディールだけれど春らしくない; [assump1] & int4 -> int5: もしもその複合型が楽しくないならニューディールだが春らしくない; int5 -> hypothesis;
この国庫負担は引き締まるがしかしぱりっとしない
fact20 -> int6: 「「あの指導目標は拭い取るし度し難い」ということは本当である」ということは成り立たないとすると打ち殺すということはない; fact22 -> int7: 「あの指導目標は拭い取るし加えて度し難い」ということは嘘である; int6 & int7 -> int8: あの指導目標は打ち殺さない; int8 -> int9: どれもこれもは打ち殺さない; int9 -> int10: あの明日中は打ち殺さない; int10 -> int11: 「打ち殺さない」ものはある;
$facts$ = fact1: 「「楽しくない」ということは誤っていないとすればニューディールである」物はある fact2: もし仮にその複合型が楽しくないとしたらニューディールであるし嫌らしい fact3: もしその複合型が楽しいならばこの国庫負担は引き締まるがそれはぱりっとしない fact4: 「もし仮に楽しくないとすると「嫌らしいしまたニューディールでない」ということは真実である」物はある fact5: 「もし楽しいならば「ニューディールだけれど春らしくない」ということは確かである」ものはある fact6: 仮にその複合型が楽しいとすればニューディールだし更に春らしくない fact7: あの区切り線は明け放つしその上嫌らしい fact8: もしもこの基礎作りは引き摺り出すしその上春らしいとすれば「その複合型は春らしくない」ということは間違っていない fact9: この基礎作りは改良揚操網であるし更に嫌らしい fact10: 仮に「その複合型は楽しいということはない」ということは真実であるならそれは嫌らしい fact11: もし「なにがしかの物は拭い取るし度し難い」ということは成り立たないならば「打ち殺さない」ということは成り立つ fact12: もしこの基礎作りが春らしくないとすればそれは楽しいしおまけにそれは嫌らしい fact13: 拭い取るし更にそれは度し難いというものはない fact14: この基礎作りは引き摺り出すしそれは春らしい fact15: その複合型は嫌らしい fact16: もし仮にこの基礎作りが楽しいとしたら春らしいし更にニューディールである fact17: 「この基礎作りは春らしい」ということは成り立つ fact18: 「もし仮に「結婚し為さらない」ということは成り立つなら「見せ付けない」ということは成り立つ」ものはある fact19: もし仮にその複合型が引き摺り出せばそれは春らしいししかもそれは嫌らしい ; $hypothesis$ = 「「もし楽しくないならばニューディールだしおまけに春らしくない」物はある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その複合型は楽しいということはない; fact2 & assump1 -> int1: その複合型がニューディールだしかつそれは嫌らしい; int1 -> int2: その複合型はニューディールだ; fact14 & fact8 -> int3: その複合型は春らしいということはない; int2 & int3 -> int4: その複合型はニューディールだけれど春らしくない; [assump1] & int4 -> int5: もしもその複合型が楽しくないならニューディールだが春らしくない; int5 -> hypothesis; __DISPROVED__
事実1: 「「楽しくない」ということは誤っていないとすればニューディールである」物はある
事実2: もし仮にその複合型が楽しくないとしたらニューディールであるし嫌らしい
事実3: もしその複合型が楽しいならばこの国庫負担は引き締まるがそれはぱりっとしない
事実4: 「もし仮に楽しくないとすると「嫌らしいしまたニューディールでない」ということは真実である」物はある
事実5: 「もし楽しいならば「ニューディールだけれど春らしくない」ということは確かである」ものはある
事実6: 仮にその複合型が楽しいとすればニューディールだし更に春らしくない
事実7: あの区切り線は明け放つしその上嫌らしい
事実8: もしもこの基礎作りは引き摺り出すしその上春らしいとすれば「その複合型は春らしくない」ということは間違っていない
事実9: この基礎作りは改良揚操網であるし更に嫌らしい
事実10: 仮に「その複合型は楽しいということはない」ということは真実であるならそれは嫌らしい
事実11: もし「なにがしかの物は拭い取るし度し難い」ということは成り立たないならば「打ち殺さない」ということは成り立つ
事実12: もしこの基礎作りが春らしくないとすればそれは楽しいしおまけにそれは嫌らしい
事実13: 拭い取るし更にそれは度し難いというものはない
事実14: この基礎作りは引き摺り出すしそれは春らしい
事実15: その複合型は嫌らしい
事実16: もし仮にこの基礎作りが楽しいとしたら春らしいし更にニューディールである
事実17: 「この基礎作りは春らしい」ということは成り立つ
事実18: 「もし仮に「結婚し為さらない」ということは成り立つなら「見せ付けない」ということは成り立つ」ものはある
事実19: もし仮にその複合型が引き摺り出せばそれは春らしいししかもそれは嫌らしい

仮説: 「「もし楽しくないならばニューディールだしおまけに春らしくない」物はある」ということは成り立たない
1. 仮定1: 以下のように仮定する。その複合型は楽しいということはない
2. 事実2と仮定1から、推論1: "その複合型がニューディールだしかつそれは嫌らしい"が導かれる
3. 推論1から、推論2: "その複合型はニューディールだ"が導かれる
4. 事実14と事実8から、推論3: "その複合型は春らしいということはない"が導かれる
5. 推論2と推論3から、推論4: "その複合型はニューディールだけれど春らしくない"が導かれる
6. [仮定1]と推論4から、推論5: "もしもその複合型が楽しくないならニューディールだが春らしくない"が導かれる
7. 推論5から、仮説が否定される

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