「もし仮にその局面がインターレグであるとするとその夜間勤務は物語内容でないがしかし長し」ということは成り立つということはない
fact1: この具体的方策は吊り下げる fact2: その局面は溜まり易いということはない fact3: 温かくない物は長しし加えて吊り下げる fact4: この具体的方策は知恵袋でない fact5: 仮にその夜間勤務が知恵袋でないならばその局面は長しないけれどインターレグである fact6: その局面は溜まり易くないけどインターレグである fact7: その局面はホッケーである fact8: 仮にその局面がインターレグであるしおまけに吊り下げるとしたらその夜間勤務は物語内容でない fact9: その局面は知恵袋でないがしかしインターレグだ fact10: 「その局面はホッケーであるとしたら「「あの蘭書は物語内容であるけどインターレグでない」ということは真実である」ということは偽だ」ということは真実である fact11: この具体的方策が知恵袋ならその夜間勤務は吊り下げない一方でそれは長し fact12: もしもその局面が吊り下げるということはないとしたらこの具体的方策は知恵袋でないけれどそれは溜まり易い fact13: 「この具体的方策は知恵袋であるしかつ溜まり易い」ということは成り立たない fact14: この具体的方策はインターレグだ fact15: もし仮にその局面が溜まり易いしその上それがインターレグだとしたらこの具体的方策は知恵袋であるということはない fact16: 「その局面は吊り下げるということはないがそれは知恵袋である」ということは成り立たない fact17: 「この具体的方策は知恵袋でないが溜まり易い」ということは間違っている fact18: その夜間勤務は長し fact19: 仮にその局面が吊り下げるということはないとしたらこの具体的方策は知恵袋でない fact20: 「何かは物語内容だがインターレグでない」ということは成り立たないとするとそれは化石化しない
void -> assump2: 以下のように仮定する。その局面は吊り下げない; fact12 & assump2 -> int1: 「この具体的方策は知恵袋であるということはないが溜まり易い」ということは正しい; int1 & fact17 -> int2: これは矛盾である; [assump2] & int2 -> int3: その局面は吊り下げる; void -> assump1: 以下のように仮定する。その局面はインターレグだ; int3 & assump1 -> int4: その局面はインターレグでそれは吊り下げる; int4 & fact8 -> int5: その夜間勤務は物語内容でない; int5 & fact18 -> int6: その夜間勤務は物語内容でない一方で長し; [assump1] & int6 -> hypothesis;
あの蘭書は化石化しないけど長し
fact24 -> int7: 仮に「あの蘭書は物語内容であるがインターレグであるということはない」ということは嘘だとすれば化石化しない; fact22 & fact21 -> int8: 「あの蘭書は物語内容であるがしかしインターレグでない」ということは成り立たない; int7 & int8 -> int9: あの蘭書は化石化しない; fact23 -> int10: あの蘭書が温かくないとしたら長しし吊り下げる;
$facts$ = fact1: この具体的方策は吊り下げる fact2: その局面は溜まり易いということはない fact3: 温かくない物は長しし加えて吊り下げる fact4: この具体的方策は知恵袋でない fact5: 仮にその夜間勤務が知恵袋でないならばその局面は長しないけれどインターレグである fact6: その局面は溜まり易くないけどインターレグである fact7: その局面はホッケーである fact8: 仮にその局面がインターレグであるしおまけに吊り下げるとしたらその夜間勤務は物語内容でない fact9: その局面は知恵袋でないがしかしインターレグだ fact10: 「その局面はホッケーであるとしたら「「あの蘭書は物語内容であるけどインターレグでない」ということは真実である」ということは偽だ」ということは真実である fact11: この具体的方策が知恵袋ならその夜間勤務は吊り下げない一方でそれは長し fact12: もしもその局面が吊り下げるということはないとしたらこの具体的方策は知恵袋でないけれどそれは溜まり易い fact13: 「この具体的方策は知恵袋であるしかつ溜まり易い」ということは成り立たない fact14: この具体的方策はインターレグだ fact15: もし仮にその局面が溜まり易いしその上それがインターレグだとしたらこの具体的方策は知恵袋であるということはない fact16: 「その局面は吊り下げるということはないがそれは知恵袋である」ということは成り立たない fact17: 「この具体的方策は知恵袋でないが溜まり易い」ということは間違っている fact18: その夜間勤務は長し fact19: 仮にその局面が吊り下げるということはないとしたらこの具体的方策は知恵袋でない fact20: 「何かは物語内容だがインターレグでない」ということは成り立たないとするとそれは化石化しない ; $hypothesis$ = 「もし仮にその局面がインターレグであるとするとその夜間勤務は物語内容でないがしかし長し」ということは成り立つということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。その局面は吊り下げない; fact12 & assump2 -> int1: 「この具体的方策は知恵袋であるということはないが溜まり易い」ということは正しい; int1 & fact17 -> int2: これは矛盾である; [assump2] & int2 -> int3: その局面は吊り下げる; void -> assump1: 以下のように仮定する。その局面はインターレグだ; int3 & assump1 -> int4: その局面はインターレグでそれは吊り下げる; int4 & fact8 -> int5: その夜間勤務は物語内容でない; int5 & fact18 -> int6: その夜間勤務は物語内容でない一方で長し; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この具体的方策は吊り下げる
事実2: その局面は溜まり易いということはない
事実3: 温かくない物は長しし加えて吊り下げる
事実4: この具体的方策は知恵袋でない
事実5: 仮にその夜間勤務が知恵袋でないならばその局面は長しないけれどインターレグである
事実6: その局面は溜まり易くないけどインターレグである
事実7: その局面はホッケーである
事実8: 仮にその局面がインターレグであるしおまけに吊り下げるとしたらその夜間勤務は物語内容でない
事実9: その局面は知恵袋でないがしかしインターレグだ
事実10: 「その局面はホッケーであるとしたら「「あの蘭書は物語内容であるけどインターレグでない」ということは真実である」ということは偽だ」ということは真実である
事実11: この具体的方策が知恵袋ならその夜間勤務は吊り下げない一方でそれは長し
事実12: もしもその局面が吊り下げるということはないとしたらこの具体的方策は知恵袋でないけれどそれは溜まり易い
事実13: 「この具体的方策は知恵袋であるしかつ溜まり易い」ということは成り立たない
事実14: この具体的方策はインターレグだ
事実15: もし仮にその局面が溜まり易いしその上それがインターレグだとしたらこの具体的方策は知恵袋であるということはない
事実16: 「その局面は吊り下げるということはないがそれは知恵袋である」ということは成り立たない
事実17: 「この具体的方策は知恵袋でないが溜まり易い」ということは間違っている
事実18: その夜間勤務は長し
事実19: 仮にその局面が吊り下げるということはないとしたらこの具体的方策は知恵袋でない
事実20: 「何かは物語内容だがインターレグでない」ということは成り立たないとするとそれは化石化しない

仮説: 「もし仮にその局面がインターレグであるとするとその夜間勤務は物語内容でないがしかし長し」ということは成り立つということはない
1. 仮定2: 以下のように仮定する。その局面は吊り下げない
2. 事実12と仮定2から、推論1: "「この具体的方策は知恵袋であるということはないが溜まり易い」ということは正しい"が導かれる
3. 推論1と事実17から、推論2: "これは矛盾である"が導かれる
4. [仮定2]と推論2から、推論3: "その局面は吊り下げる"が導かれる
5. 仮定1: 以下のように仮定する。その局面はインターレグだ
6. 推論3と仮定1から、推論4: "その局面はインターレグでそれは吊り下げる"が導かれる
7. 推論4と事実8から、推論5: "その夜間勤務は物語内容でない"が導かれる
8. 推論5と事実18から、推論6: "その夜間勤務は物語内容でない一方で長し"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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