「「仮に分厚いならば鯱張らない」物はある」ということは成り立たない
fact1: その十一日付けはキャンセルするしそれは峙つ fact2: もし何かは姉らしいしその上分厚いとしたらそれは鯱張る fact3: なにがしかのものは盛行するし浅し fact4: もしこの小鉤は漕ぎ着けるし捕まえ易いならばそれは実行ボタンでない fact5: あの速達郵袋は鯱張る fact6: もしも「「盛行するしその上浅し」ということは偽な」物があるならあの速達郵袋は姉らしい fact7: 「もしも学校週五日制ならば「責め立てるということはない」ということは本当な」ものはある fact8: 「「責め立てるしくゆらす」ということは確かでない」ものはある fact9: 「もし仮に分厚いとしたら鯱張る」物はある fact10: もしもなにかは甘噛みするし更に付き難いならそれは白しない fact11: 仮に班が死すとしたらドラックしない fact12: もしも「「ピッキングするしさらに理解し易い」ということは誤っている」物があるとするとあの速達郵袋は輸入大豆である fact13: もし「あの速達郵袋は分厚い」ということは事実であるならば鯱張る fact14: 仮に姉らしい物は分厚いとすると「「それは鯱張る」ということは間違っている」ということは成り立つ fact15: あの速達郵袋が姉らしいしまたそれが分厚いならば鯱張る fact16: あの速達郵袋はぶつかり合わない fact17: もし「盛行しない」ものがあるならばあの速達郵袋は姉らしい fact18: 「「盛行するしその上浅し」ということは成り立たない」物はある
fact18 & fact6 -> int1: あの速達郵袋は姉らしい; void -> assump1: 以下のように仮定する。あの速達郵袋は分厚い; int1 & assump1 -> int2: あの速達郵袋は姉らしいし分厚い; fact14 -> int3: 仮にあの速達郵袋が姉らしいししかも分厚いとしたら鯱張らない; int2 & int3 -> int4: あの速達郵袋は鯱張らない; [assump1] & int4 -> int5: 仮にあの速達郵袋は分厚いなら「それは鯱張らない」ということは真実である; int5 -> hypothesis;
$facts$ = fact1: その十一日付けはキャンセルするしそれは峙つ fact2: もし何かは姉らしいしその上分厚いとしたらそれは鯱張る fact3: なにがしかのものは盛行するし浅し fact4: もしこの小鉤は漕ぎ着けるし捕まえ易いならばそれは実行ボタンでない fact5: あの速達郵袋は鯱張る fact6: もしも「「盛行するしその上浅し」ということは偽な」物があるならあの速達郵袋は姉らしい fact7: 「もしも学校週五日制ならば「責め立てるということはない」ということは本当な」ものはある fact8: 「「責め立てるしくゆらす」ということは確かでない」ものはある fact9: 「もし仮に分厚いとしたら鯱張る」物はある fact10: もしもなにかは甘噛みするし更に付き難いならそれは白しない fact11: 仮に班が死すとしたらドラックしない fact12: もしも「「ピッキングするしさらに理解し易い」ということは誤っている」物があるとするとあの速達郵袋は輸入大豆である fact13: もし「あの速達郵袋は分厚い」ということは事実であるならば鯱張る fact14: 仮に姉らしい物は分厚いとすると「「それは鯱張る」ということは間違っている」ということは成り立つ fact15: あの速達郵袋が姉らしいしまたそれが分厚いならば鯱張る fact16: あの速達郵袋はぶつかり合わない fact17: もし「盛行しない」ものがあるならばあの速達郵袋は姉らしい fact18: 「「盛行するしその上浅し」ということは成り立たない」物はある ; $hypothesis$ = 「「仮に分厚いならば鯱張らない」物はある」ということは成り立たない ; $proof$ = 
fact18 & fact6 -> int1: あの速達郵袋は姉らしい; void -> assump1: 以下のように仮定する。あの速達郵袋は分厚い; int1 & assump1 -> int2: あの速達郵袋は姉らしいし分厚い; fact14 -> 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: 「「盛行するしその上浅し」ということは成り立たない」物はある

仮説: 「「仮に分厚いならば鯱張らない」物はある」ということは成り立たない
1. 事実18と事実6から、推論1: "あの速達郵袋は姉らしい"が導かれる
2. 仮定1: 以下のように仮定する。あの速達郵袋は分厚い
3. 推論1と仮定1から、推論2: "あの速達郵袋は姉らしいし分厚い"が導かれる
4. 事実14から、推論3: "仮にあの速達郵袋が姉らしいししかも分厚いとしたら鯱張らない"が導かれる
5. 推論2と推論3から、推論4: "あの速達郵袋は鯱張らない"が導かれる
6. [仮定1]と推論4から、推論5: "仮にあの速達郵袋は分厚いなら「それは鯱張らない」ということは真実である"が導かれる
7. 推論5から、仮説が否定される

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