その据え風呂は気まずくない
fact1: その据え風呂がすんごいしかつストレッチするとするとあの判子は木らしくない fact2: 仮に「そのソプラノ歌手はじゃこ御飯であるがしかし場面状況でない」ということは事実と異なるとするとあの米中関係は揺られない fact3: 「じゃこ御飯であるし更に場面状況でない」物はある fact4: 「「「じゃこ御飯だししかも場面状況である」ということは成り立たない」物はある」ということは確かだ fact5: その据え風呂は孝行娘だということはない fact6: あの衝突時はストレッチするとしたら「あの判子は気まずいがすんごいということはない」ということは嘘である fact7: あの引き手茶屋は揺られる fact8: その据え風呂はすんごい fact9: もしも「あの判子は気まずいがすんごくない」ということは成り立たないとしたらその据え風呂は気まずくない fact10: もしその据え風呂がストレッチしないとすればそれは揺られない fact11: もし仮になにがしかのものが揺られないとしたらそれは気まずい fact12: もし仮に「何かは揺られるということはない」ということは本当だとしたらそれは木らしいかストレッチする fact13: 「じゃこ御飯でない」物があるとしたらあの判子は木らしい fact14: もしもなにがしかのものが木らしいということはないならばそれはストレッチするししかもそれはすんごくない fact15: もしも「とあるものはすんごいしさらに木らしい」ということは偽であるとしたら「すんごい」ということは誤っている fact16: もしもあの判子が揺られるし場面状況であるとするとその据え風呂は木らしいということはない fact17: その据え風呂はじゃこ御飯である fact18: もし何かは密告しないとしたらその印画は出会い易い fact19: もし「「じゃこ御飯だ一方で場面状況でない」ということは嘘である」物があるとするとあの判子は木らしい fact20: 「「じゃこ御飯であるし場面状況でない」ということは成り立たない」物はある fact21: 仮に「「すんごい一方で木らしくない」ということは事実と異なる」ものがあるとしたらあの判子はストレッチする
void -> assump1: 以下のように仮定する。その据え風呂はストレッチする; fact8 & assump1 -> int1: その据え風呂はすんごいしそれにそれはストレッチする; int1 & fact1 -> int2: あの判子は木らしくない; fact20 & fact19 -> int3: あの判子は木らしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その据え風呂はストレッチしない; int5 & fact10 -> int6: その据え風呂は揺られない; fact11 -> int7: その据え風呂が揺られないとすれば気まずい; int6 & int7 -> hypothesis;
そのアナーキストは厭わしい
fact22 -> int8: 仮に「その据え風呂がすんごいしその上木らしい」ということは成り立つということはないならばすんごくない;
$facts$ = fact1: その据え風呂がすんごいしかつストレッチするとするとあの判子は木らしくない fact2: 仮に「そのソプラノ歌手はじゃこ御飯であるがしかし場面状況でない」ということは事実と異なるとするとあの米中関係は揺られない fact3: 「じゃこ御飯であるし更に場面状況でない」物はある fact4: 「「「じゃこ御飯だししかも場面状況である」ということは成り立たない」物はある」ということは確かだ fact5: その据え風呂は孝行娘だということはない fact6: あの衝突時はストレッチするとしたら「あの判子は気まずいがすんごいということはない」ということは嘘である fact7: あの引き手茶屋は揺られる fact8: その据え風呂はすんごい fact9: もしも「あの判子は気まずいがすんごくない」ということは成り立たないとしたらその据え風呂は気まずくない fact10: もしその据え風呂がストレッチしないとすればそれは揺られない fact11: もし仮になにがしかのものが揺られないとしたらそれは気まずい fact12: もし仮に「何かは揺られるということはない」ということは本当だとしたらそれは木らしいかストレッチする fact13: 「じゃこ御飯でない」物があるとしたらあの判子は木らしい fact14: もしもなにがしかのものが木らしいということはないならばそれはストレッチするししかもそれはすんごくない fact15: もしも「とあるものはすんごいしさらに木らしい」ということは偽であるとしたら「すんごい」ということは誤っている fact16: もしもあの判子が揺られるし場面状況であるとするとその据え風呂は木らしいということはない fact17: その据え風呂はじゃこ御飯である fact18: もし何かは密告しないとしたらその印画は出会い易い fact19: もし「「じゃこ御飯だ一方で場面状況でない」ということは嘘である」物があるとするとあの判子は木らしい fact20: 「「じゃこ御飯であるし場面状況でない」ということは成り立たない」物はある fact21: 仮に「「すんごい一方で木らしくない」ということは事実と異なる」ものがあるとしたらあの判子はストレッチする ; $hypothesis$ = その据え風呂は気まずくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その据え風呂はストレッチする; fact8 & assump1 -> int1: その据え風呂はすんごいしそれにそれはストレッチする; int1 & fact1 -> int2: あの判子は木らしくない; fact20 & fact19 -> int3: あの判子は木らしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その据え風呂はストレッチしない; int5 & fact10 -> int6: その据え風呂は揺られない; fact11 -> int7: その据え風呂が揺られないとすれば気まずい; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その据え風呂がすんごいしかつストレッチするとするとあの判子は木らしくない
事実2: 仮に「そのソプラノ歌手はじゃこ御飯であるがしかし場面状況でない」ということは事実と異なるとするとあの米中関係は揺られない
事実3: 「じゃこ御飯であるし更に場面状況でない」物はある
事実4: 「「「じゃこ御飯だししかも場面状況である」ということは成り立たない」物はある」ということは確かだ
事実5: その据え風呂は孝行娘だということはない
事実6: あの衝突時はストレッチするとしたら「あの判子は気まずいがすんごいということはない」ということは嘘である
事実7: あの引き手茶屋は揺られる
事実8: その据え風呂はすんごい
事実9: もしも「あの判子は気まずいがすんごくない」ということは成り立たないとしたらその据え風呂は気まずくない
事実10: もしその据え風呂がストレッチしないとすればそれは揺られない
事実11: もし仮になにがしかのものが揺られないとしたらそれは気まずい
事実12: もし仮に「何かは揺られるということはない」ということは本当だとしたらそれは木らしいかストレッチする
事実13: 「じゃこ御飯でない」物があるとしたらあの判子は木らしい
事実14: もしもなにがしかのものが木らしいということはないならばそれはストレッチするししかもそれはすんごくない
事実15: もしも「とあるものはすんごいしさらに木らしい」ということは偽であるとしたら「すんごい」ということは誤っている
事実16: もしもあの判子が揺られるし場面状況であるとするとその据え風呂は木らしいということはない
事実17: その据え風呂はじゃこ御飯である
事実18: もし何かは密告しないとしたらその印画は出会い易い
事実19: もし「「じゃこ御飯だ一方で場面状況でない」ということは嘘である」物があるとするとあの判子は木らしい
事実20: 「「じゃこ御飯であるし場面状況でない」ということは成り立たない」物はある
事実21: 仮に「「すんごい一方で木らしくない」ということは事実と異なる」ものがあるとしたらあの判子はストレッチする

仮説: その据え風呂は気まずくない
1. 仮定1: 以下のように仮定する。その据え風呂はストレッチする
2. 事実8と仮定1から、推論1: "その据え風呂はすんごいしそれにそれはストレッチする"が導かれる
3. 推論1と事実1から、推論2: "あの判子は木らしくない"が導かれる
4. 事実20と事実19から、推論3: "あの判子は木らしい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その据え風呂はストレッチしない"が導かれる
7. 推論5と事実10から、推論6: "その据え風呂は揺られない"が導かれる
8. 事実11から、推論7: "その据え風呂が揺られないとすれば気まずい"が導かれる
9. 推論6と推論7から、仮説が否定される

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