この蚯蚓触手が万聖節であるとしたらこのダウンヒルは確認し難い
fact1: あのＭ六Ｐは買い増ししない fact2: この蚯蚓触手はポイントする fact3: そのウインナーソーセージは万聖節でない fact4: もしこのダウンヒルは買い増しするとすれば「「この願い下げは確認し難い一方で馬鹿馬鹿しかない」ということは誤りである」ということは事実だ fact5: 仮に「この蚯蚓触手は万聖節だ」ということは確かであるならば「あのＭ六Ｐはポイントするし馬鹿馬鹿しい」ということは成り立つということはない fact6: もし仮にあのＭ六Ｐが万聖節でないならこの蚯蚓触手は馬鹿馬鹿しい fact7: この蚯蚓触手は馬鹿馬鹿しかない fact8: この蚯蚓触手は万聖節なら「「あのＭ六Ｐはポイントするがそれは馬鹿馬鹿しかない」ということは間違っている」ということは確かだ fact9: この願い下げが馬鹿馬鹿しかないならあのＭ六Ｐは買い増しする fact10: このダウンヒルは確認し難いとすると「あのＭ六Ｐは馬鹿馬鹿しいけど買い増ししない」ということは間違いだ fact11: 「あのＭ六Ｐはポイントするしさらに馬鹿馬鹿しい」ということは事実と異なる fact12: 仮にあのＭ六Ｐが買い増ししないとしたらこの願い下げはポイントする fact13: この願い下げはポイントする fact14: もし仮にあのＭ六Ｐは確認し難いとすれば「このダウンヒルは馬鹿馬鹿しい一方でそれは買い増ししない」ということは成り立つということはない fact15: あのＭ六Ｐが馬鹿馬鹿しいならばこの願い下げは買い増ししない fact16: 「この願い下げは買い増しするけど確認し難くない」ということは本当でない fact17: もしもあのＭ六Ｐはポイントすれば「この蚯蚓触手は確認し難い一方でそれは万聖節でない」ということは成り立つということはない fact18: この願い下げは尊しということはない fact19: 「あのＭ六Ｐはポイントするが馬鹿馬鹿しいということはない」ということは成り立たないとしたらこの願い下げは買い増ししない fact20: この願い下げがポイントしないとしたらあのＭ六Ｐは買い増しする fact21: もし仮に「このダウンヒルは買い増しするがしかしそれは確認し難いということはない」ということは成り立たないならばこの願い下げは万聖節でない fact22: あの日本料理屋は買い増しする fact23: もし仮にこの願い下げは買い増しするということはないなら「このダウンヒルは確認し難い」ということは真実だ
void -> assump1: 以下のように仮定する。「この蚯蚓触手は万聖節だ」ということは誤りでない; fact8 & assump1 -> int1: 「あのＭ六Ｐはポイントするけれど馬鹿馬鹿しかない」ということは事実と異なる; int1 & fact19 -> int2: この願い下げは買い増ししない; int2 & fact23 -> int3: このダウンヒルは確認し難い; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あのＭ六Ｐは買い増ししない fact2: この蚯蚓触手はポイントする fact3: そのウインナーソーセージは万聖節でない fact4: もしこのダウンヒルは買い増しするとすれば「「この願い下げは確認し難い一方で馬鹿馬鹿しかない」ということは誤りである」ということは事実だ fact5: 仮に「この蚯蚓触手は万聖節だ」ということは確かであるならば「あのＭ六Ｐはポイントするし馬鹿馬鹿しい」ということは成り立つということはない fact6: もし仮にあのＭ六Ｐが万聖節でないならこの蚯蚓触手は馬鹿馬鹿しい fact7: この蚯蚓触手は馬鹿馬鹿しかない fact8: この蚯蚓触手は万聖節なら「「あのＭ六Ｐはポイントするがそれは馬鹿馬鹿しかない」ということは間違っている」ということは確かだ fact9: この願い下げが馬鹿馬鹿しかないならあのＭ六Ｐは買い増しする fact10: このダウンヒルは確認し難いとすると「あのＭ六Ｐは馬鹿馬鹿しいけど買い増ししない」ということは間違いだ fact11: 「あのＭ六Ｐはポイントするしさらに馬鹿馬鹿しい」ということは事実と異なる fact12: 仮にあのＭ六Ｐが買い増ししないとしたらこの願い下げはポイントする fact13: この願い下げはポイントする fact14: もし仮にあのＭ六Ｐは確認し難いとすれば「このダウンヒルは馬鹿馬鹿しい一方でそれは買い増ししない」ということは成り立つということはない fact15: あのＭ六Ｐが馬鹿馬鹿しいならばこの願い下げは買い増ししない fact16: 「この願い下げは買い増しするけど確認し難くない」ということは本当でない fact17: もしもあのＭ六Ｐはポイントすれば「この蚯蚓触手は確認し難い一方でそれは万聖節でない」ということは成り立つということはない fact18: この願い下げは尊しということはない fact19: 「あのＭ六Ｐはポイントするが馬鹿馬鹿しいということはない」ということは成り立たないとしたらこの願い下げは買い増ししない fact20: この願い下げがポイントしないとしたらあのＭ六Ｐは買い増しする fact21: もし仮に「このダウンヒルは買い増しするがしかしそれは確認し難いということはない」ということは成り立たないならばこの願い下げは万聖節でない fact22: あの日本料理屋は買い増しする fact23: もし仮にこの願い下げは買い増しするということはないなら「このダウンヒルは確認し難い」ということは真実だ ; $hypothesis$ = この蚯蚓触手が万聖節であるとしたらこのダウンヒルは確認し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この蚯蚓触手は万聖節だ」ということは誤りでない; fact8 & assump1 -> int1: 「あのＭ六Ｐはポイントするけれど馬鹿馬鹿しかない」ということは事実と異なる; int1 & fact19 -> int2: この願い下げは買い増ししない; int2 & fact23 -> int3: このダウンヒルは確認し難い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あのＭ六Ｐは買い増ししない
事実2: この蚯蚓触手はポイントする
事実3: そのウインナーソーセージは万聖節でない
事実4: もしこのダウンヒルは買い増しするとすれば「「この願い下げは確認し難い一方で馬鹿馬鹿しかない」ということは誤りである」ということは事実だ
事実5: 仮に「この蚯蚓触手は万聖節だ」ということは確かであるならば「あのＭ六Ｐはポイントするし馬鹿馬鹿しい」ということは成り立つということはない
事実6: もし仮にあのＭ六Ｐが万聖節でないならこの蚯蚓触手は馬鹿馬鹿しい
事実7: この蚯蚓触手は馬鹿馬鹿しかない
事実8: この蚯蚓触手は万聖節なら「「あのＭ六Ｐはポイントするがそれは馬鹿馬鹿しかない」ということは間違っている」ということは確かだ
事実9: この願い下げが馬鹿馬鹿しかないならあのＭ六Ｐは買い増しする
事実10: このダウンヒルは確認し難いとすると「あのＭ六Ｐは馬鹿馬鹿しいけど買い増ししない」ということは間違いだ
事実11: 「あのＭ六Ｐはポイントするしさらに馬鹿馬鹿しい」ということは事実と異なる
事実12: 仮にあのＭ六Ｐが買い増ししないとしたらこの願い下げはポイントする
事実13: この願い下げはポイントする
事実14: もし仮にあのＭ六Ｐは確認し難いとすれば「このダウンヒルは馬鹿馬鹿しい一方でそれは買い増ししない」ということは成り立つということはない
事実15: あのＭ六Ｐが馬鹿馬鹿しいならばこの願い下げは買い増ししない
事実16: 「この願い下げは買い増しするけど確認し難くない」ということは本当でない
事実17: もしもあのＭ六Ｐはポイントすれば「この蚯蚓触手は確認し難い一方でそれは万聖節でない」ということは成り立つということはない
事実18: この願い下げは尊しということはない
事実19: 「あのＭ六Ｐはポイントするが馬鹿馬鹿しいということはない」ということは成り立たないとしたらこの願い下げは買い増ししない
事実20: この願い下げがポイントしないとしたらあのＭ六Ｐは買い増しする
事実21: もし仮に「このダウンヒルは買い増しするがしかしそれは確認し難いということはない」ということは成り立たないならばこの願い下げは万聖節でない
事実22: あの日本料理屋は買い増しする
事実23: もし仮にこの願い下げは買い増しするということはないなら「このダウンヒルは確認し難い」ということは真実だ

仮説: この蚯蚓触手が万聖節であるとしたらこのダウンヒルは確認し難い
1. 仮定1: 以下のように仮定する。「この蚯蚓触手は万聖節だ」ということは誤りでない
2. 事実8と仮定1から、推論1: "「あのＭ六Ｐはポイントするけれど馬鹿馬鹿しかない」ということは事実と異なる"が導かれる
3. 推論1と事実19から、推論2: "この願い下げは買い増ししない"が導かれる
4. 推論2と事実23から、推論3: "このダウンヒルは確認し難い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。