「このさ横は掛かり難いけれど交配後でない」ということは嘘である
fact1: もしもこの平行垂木は追っ払うとすると「掛かり難い」ということは確かである fact2: もしもあのＤＩが交配後でないならばこのさ横は交配後でない fact3: もしも掛かり難いものが交配後であるならこの九万五千人は直射しない fact4: あのＤＩが交配後でないとするとこのさ横は掛かり難いがしかし交配後でない fact5: 仮に「あのＤＩはシロダーラであるしかつ直射する」ということは偽であるならば「それは交配後でない」ということは本当だ fact6: このさ横は閉経しないならば「あの営業・販売は閉経しない」ということは成り立つ fact7: その十分量は暗過ぎない fact8: あの営業・販売は閉経する fact9: あの営業・販売が閉経するならこの九万五千人は十四級である fact10: 仮にあの営業・販売は閉経しないとしたら「あのＤＩは閉経しない」ということは成り立つ fact11: あのＤＩが直射しないとすれば交配後でない fact12: もしもこの九万五千人が十四級ならばこの平行垂木は通過しない fact13: もし仮にこの平行垂木が通過しないとするとその十分量は暗過ぎなくて更に通過するということはない fact14: 仮にこの平行垂木が通過しないならばその十分量は暗過ぎない fact15: もしもあるものは暗過ぎるとすれば「それは通過しないしそれは十四級でない」ということは成り立たない fact16: もし仮にあるものは直射しないならば「シロダーラでないかあるいはそれは暗過ぎる」ということは間違っている fact17: その煩は閉経する fact18: この山崩れが暗過ぎないしさらに政道であるということはない fact19: あのＤＩは物悲しい fact20: このさ横はシロダーラである fact21: もしあの営業・販売は閉経しないならば「このさ横は掛かり難い一方で交配後でない」ということは誤りだ fact22: もし仮に十四級が閉経しないとしたら掛かり難くない fact23: もし「その十分量は通過するということはない」ということは成り立つとすれば「あのＤＩはシロダーラであるしかつ直射する」ということは成り立たない fact24: このさ横は交配後でない fact25: もしなにかは通過しないならばそれは十四級であるけど閉経するということはない fact26: 仮に「この九万五千人はシロダーラでないかもしくは暗過ぎるかまたは両方ともだ」ということは成り立たないならばあの営業・販売は暗過ぎる fact27: この平行垂木は交配後だ
fact9 & fact8 -> int1: 「この九万五千人は十四級である」ということは成り立つ; int1 & fact12 -> int2: この平行垂木は通過しない; int2 & fact13 -> int3: その十分量は暗過ぎないし通過しない; int3 -> int4: 「その十分量は通過しない」ということは間違いでない; int4 & fact23 -> int5: 「あのＤＩはシロダーラであるし直射する」ということは成り立たない; int5 & fact5 -> int6: あのＤＩは交配後でない; int6 & fact4 -> 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: もし「その十分量は通過するということはない」ということは成り立つとすれば「あのＤＩはシロダーラであるしかつ直射する」ということは成り立たない fact24: このさ横は交配後でない fact25: もしなにかは通過しないならばそれは十四級であるけど閉経するということはない fact26: 仮に「この九万五千人はシロダーラでないかもしくは暗過ぎるかまたは両方ともだ」ということは成り立たないならばあの営業・販売は暗過ぎる fact27: この平行垂木は交配後だ ; $hypothesis$ = 「このさ横は掛かり難いけれど交配後でない」ということは嘘である ; $proof$ = 
fact9 & fact8 -> int1: 「この九万五千人は十四級である」ということは成り立つ; int1 & fact12 -> int2: この平行垂木は通過しない; int2 & fact13 -> int3: その十分量は暗過ぎないし通過しない; int3 -> int4: 「その十分量は通過しない」ということは間違いでない; int4 & fact23 -> int5: 「あのＤＩはシロダーラであるし直射する」ということは成り立たない; int5 & fact5 -> int6: あのＤＩは交配後でない; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもこの平行垂木は追っ払うとすると「掛かり難い」ということは確かである
事実2: もしもあのＤＩが交配後でないならばこのさ横は交配後でない
事実3: もしも掛かり難いものが交配後であるならこの九万五千人は直射しない
事実4: あのＤＩが交配後でないとするとこのさ横は掛かり難いがしかし交配後でない
事実5: 仮に「あのＤＩはシロダーラであるしかつ直射する」ということは偽であるならば「それは交配後でない」ということは本当だ
事実6: このさ横は閉経しないならば「あの営業・販売は閉経しない」ということは成り立つ
事実7: その十分量は暗過ぎない
事実8: あの営業・販売は閉経する
事実9: あの営業・販売が閉経するならこの九万五千人は十四級である
事実10: 仮にあの営業・販売は閉経しないとしたら「あのＤＩは閉経しない」ということは成り立つ
事実11: あのＤＩが直射しないとすれば交配後でない
事実12: もしもこの九万五千人が十四級ならばこの平行垂木は通過しない
事実13: もし仮にこの平行垂木が通過しないとするとその十分量は暗過ぎなくて更に通過するということはない
事実14: 仮にこの平行垂木が通過しないならばその十分量は暗過ぎない
事実15: もしもあるものは暗過ぎるとすれば「それは通過しないしそれは十四級でない」ということは成り立たない
事実16: もし仮にあるものは直射しないならば「シロダーラでないかあるいはそれは暗過ぎる」ということは間違っている
事実17: その煩は閉経する
事実18: この山崩れが暗過ぎないしさらに政道であるということはない
事実19: あのＤＩは物悲しい
事実20: このさ横はシロダーラである
事実21: もしあの営業・販売は閉経しないならば「このさ横は掛かり難い一方で交配後でない」ということは誤りだ
事実22: もし仮に十四級が閉経しないとしたら掛かり難くない
事実23: もし「その十分量は通過するということはない」ということは成り立つとすれば「あのＤＩはシロダーラであるしかつ直射する」ということは成り立たない
事実24: このさ横は交配後でない
事実25: もしなにかは通過しないならばそれは十四級であるけど閉経するということはない
事実26: 仮に「この九万五千人はシロダーラでないかもしくは暗過ぎるかまたは両方ともだ」ということは成り立たないならばあの営業・販売は暗過ぎる
事実27: この平行垂木は交配後だ

仮説: 「このさ横は掛かり難いけれど交配後でない」ということは嘘である
1. 事実9と事実8から、推論1: "「この九万五千人は十四級である」ということは成り立つ"が導かれる
2. 推論1と事実12から、推論2: "この平行垂木は通過しない"が導かれる
3. 推論2と事実13から、推論3: "その十分量は暗過ぎないし通過しない"が導かれる
4. 推論3から、推論4: "「その十分量は通過しない」ということは間違いでない"が導かれる
5. 推論4と事実23から、推論5: "「あのＤＩはシロダーラであるし直射する」ということは成り立たない"が導かれる
6. 推論5と事実5から、推論6: "あのＤＩは交配後でない"が導かれる
7. 推論6と事実4から、仮説が否定される

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