あの黒マントは夜間勤務であるが説教者でない
fact1: 仮に「なにがしかの物は完了するということはないけどべた付き易い」ということは正しいとすると「それは坐すということはない」ということは事実である fact2: もし仮にとあるものは夜間勤務でないならば「完了するけど天使らしくない」ということは誤りである fact3: その空気量は坐すしさらに完了する fact4: なんらかのものは主張するということはないとすると「ぶつけるけれど天使らしくない」ということは成り立つということはない fact5: あの黒マントは完了する fact6: もしとあるものが完了するしそれに説教者ならばこの左指はべた付き易くない fact7: もしもこの旅情が想像し難いけど曇り無しということはないとするとこの左指は主張しない fact8: もし仮にその彼是が完了するとしたらそれは天使らしくないが坐す fact9: もし仮にあるものが坐さないならばそれは夜間勤務であるしおまけにそれは説教者だということはない fact10: もし何らかのものが主張するし坐すとするとその空気量はべた付き易くない fact11: もし仮に「ある物はぶつけるが天使らしくない」ということは偽だとすると「べた付き易い」ということは本当である fact12: もし仮に「その空気量は説教者でない」ということは成り立つとすれば「あの黒マントは夜間勤務だが説教者でない」ということは誤っている fact13: あの黒マントはぶつける fact14: この旅情はべた付き易くない fact15: もし仮にその彼是が夜間勤務でないとすれば説教者で更にべた付き易い fact16: この旅情は想像し難い一方でそれは曇り無しない
fact3 -> int1: 「その空気量は完了する」ということは真実だ; void -> assump1: 以下のように仮定する。その空気量は説教者だ; int1 & assump1 -> int2: その空気量は完了するしそれに説教者だ; int2 -> int3: とある物は完了するし加えて説教者である; int3 & fact6 -> int4: この左指はべた付き易くない; fact11 -> int5: もし仮に「この左指はぶつけるけど天使らしくない」ということは成り立たないとしたらそれはべた付き易い; fact4 -> int6: 仮にこの左指は主張しないとすれば「ぶつけるけれど天使らしくない」ということは事実と異なる; fact7 & fact16 -> int7: この左指は主張しない; int6 & int7 -> int8: 「この左指はぶつけるけど天使らしくない」ということは誤っている; int5 & int8 -> int9: 「この左指はべた付き易い」ということは真実である; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その空気量は説教者でない; int11 & fact12 -> hypothesis;
あの黒マントは夜間勤務だけれどそれは説教者だということはない
fact18 -> int12: あの黒マントが坐さないとしたらそれは夜間勤務であるけれど説教者でない; fact17 -> int13: もしあの黒マントが完了するということはない一方でべた付き易いとすれば坐さない;
$facts$ = fact1: 仮に「なにがしかの物は完了するということはないけどべた付き易い」ということは正しいとすると「それは坐すということはない」ということは事実である fact2: もし仮にとあるものは夜間勤務でないならば「完了するけど天使らしくない」ということは誤りである fact3: その空気量は坐すしさらに完了する fact4: なんらかのものは主張するということはないとすると「ぶつけるけれど天使らしくない」ということは成り立つということはない fact5: あの黒マントは完了する fact6: もしとあるものが完了するしそれに説教者ならばこの左指はべた付き易くない fact7: もしもこの旅情が想像し難いけど曇り無しということはないとするとこの左指は主張しない fact8: もし仮にその彼是が完了するとしたらそれは天使らしくないが坐す fact9: もし仮にあるものが坐さないならばそれは夜間勤務であるしおまけにそれは説教者だということはない fact10: もし何らかのものが主張するし坐すとするとその空気量はべた付き易くない fact11: もし仮に「ある物はぶつけるが天使らしくない」ということは偽だとすると「べた付き易い」ということは本当である fact12: もし仮に「その空気量は説教者でない」ということは成り立つとすれば「あの黒マントは夜間勤務だが説教者でない」ということは誤っている fact13: あの黒マントはぶつける fact14: この旅情はべた付き易くない fact15: もし仮にその彼是が夜間勤務でないとすれば説教者で更にべた付き易い fact16: この旅情は想像し難い一方でそれは曇り無しない ; $hypothesis$ = あの黒マントは夜間勤務であるが説教者でない ; $proof$ = 
fact3 -> int1: 「その空気量は完了する」ということは真実だ; void -> assump1: 以下のように仮定する。その空気量は説教者だ; int1 & assump1 -> int2: その空気量は完了するしそれに説教者だ; int2 -> int3: とある物は完了するし加えて説教者である; int3 & fact6 -> int4: この左指はべた付き易くない; fact11 -> int5: もし仮に「この左指はぶつけるけど天使らしくない」ということは成り立たないとしたらそれはべた付き易い; fact4 -> int6: 仮にこの左指は主張しないとすれば「ぶつけるけれど天使らしくない」ということは事実と異なる; fact7 & fact16 -> int7: この左指は主張しない; int6 & int7 -> int8: 「この左指はぶつけるけど天使らしくない」ということは誤っている; int5 & int8 -> int9: 「この左指はべた付き易い」ということは真実である; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その空気量は説教者でない; int11 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮に「なにがしかの物は完了するということはないけどべた付き易い」ということは正しいとすると「それは坐すということはない」ということは事実である
事実2: もし仮にとあるものは夜間勤務でないならば「完了するけど天使らしくない」ということは誤りである
事実3: その空気量は坐すしさらに完了する
事実4: なんらかのものは主張するということはないとすると「ぶつけるけれど天使らしくない」ということは成り立つということはない
事実5: あの黒マントは完了する
事実6: もしとあるものが完了するしそれに説教者ならばこの左指はべた付き易くない
事実7: もしもこの旅情が想像し難いけど曇り無しということはないとするとこの左指は主張しない
事実8: もし仮にその彼是が完了するとしたらそれは天使らしくないが坐す
事実9: もし仮にあるものが坐さないならばそれは夜間勤務であるしおまけにそれは説教者だということはない
事実10: もし何らかのものが主張するし坐すとするとその空気量はべた付き易くない
事実11: もし仮に「ある物はぶつけるが天使らしくない」ということは偽だとすると「べた付き易い」ということは本当である
事実12: もし仮に「その空気量は説教者でない」ということは成り立つとすれば「あの黒マントは夜間勤務だが説教者でない」ということは誤っている
事実13: あの黒マントはぶつける
事実14: この旅情はべた付き易くない
事実15: もし仮にその彼是が夜間勤務でないとすれば説教者で更にべた付き易い
事実16: この旅情は想像し難い一方でそれは曇り無しない

仮説: あの黒マントは夜間勤務であるが説教者でない
1. 事実3から、推論1: "「その空気量は完了する」ということは真実だ"が導かれる
2. 仮定1: 以下のように仮定する。その空気量は説教者だ
3. 推論1と仮定1から、推論2: "その空気量は完了するしそれに説教者だ"が導かれる
4. 推論2から、推論3: "とある物は完了するし加えて説教者である"が導かれる
5. 推論3と事実6から、推論4: "この左指はべた付き易くない"が導かれる
6. 事実11から、推論5: "もし仮に「この左指はぶつけるけど天使らしくない」ということは成り立たないとしたらそれはべた付き易い"が導かれる
7. 事実4から、推論6: "仮にこの左指は主張しないとすれば「ぶつけるけれど天使らしくない」ということは事実と異なる"が導かれる
8. 事実7と事実16から、推論7: "この左指は主張しない"が導かれる
9. 推論6と推論7から、推論8: "「この左指はぶつけるけど天使らしくない」ということは誤っている"が導かれる
10. 推論5と推論8から、推論9: "「この左指はべた付き易い」ということは真実である"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その空気量は説教者でない"が導かれる
13. 推論11と事実12から、仮説が否定される

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