この百姓達は降り頻らない
fact1: もし仮にあの左記は終了出来れば「その日韓間は再興する」ということは事実である fact2: もしもこの百姓達が終了出来るならその日韓間は降り頻る fact3: もし仮にあの左記が降り頻るとしたらこの百姓達は再興する fact4: 「あの左記は再興しないが捨て難い」ということは誤りだ fact5: もし仮に「あの左記は再興しないがしかし捨て難い」ということは偽であるならその日韓間は終了出来る fact6: 「あの左記は降り頻らないが捨て難い」ということは事実と異なる fact7: その日韓間が終了出来るとしたらこの百姓達は降り頻る fact8: 「この百姓達は降り頻らないけどそれは捨て難い」ということは事実でない fact9: あの左記は降り頻る fact10: 「この聖火ランナーは地下深くないけれど禍々しい」ということは事実と異なる fact11: もしこの百姓達が終了出来るとするとその日韓間は捨て難い fact12: 「あの無一物は捨て難いししかもそれは収入す」ということは誤りだ fact13: その日韓間が捨て難いならあの左記は終了出来る fact14: あの左記が終了出来るとすればあの日韓間は捨て難い fact15: あの左記は炭坑だ fact16: とあるものが降り頻るとすると捨て難い
fact5 & fact4 -> int1: 「その日韓間は終了出来る」ということは正しい; int1 & fact7 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 & fact7 -> hypothesis;
あの始末書は捨て難い
fact17 -> int2: もしもあの始末書が降り頻るとしたらそれは捨て難い;
$facts$ = fact1: もし仮にあの左記は終了出来れば「その日韓間は再興する」ということは事実である fact2: もしもこの百姓達が終了出来るならその日韓間は降り頻る fact3: もし仮にあの左記が降り頻るとしたらこの百姓達は再興する fact4: 「あの左記は再興しないが捨て難い」ということは誤りだ fact5: もし仮に「あの左記は再興しないがしかし捨て難い」ということは偽であるならその日韓間は終了出来る fact6: 「あの左記は降り頻らないが捨て難い」ということは事実と異なる fact7: その日韓間が終了出来るとしたらこの百姓達は降り頻る fact8: 「この百姓達は降り頻らないけどそれは捨て難い」ということは事実でない fact9: あの左記は降り頻る fact10: 「この聖火ランナーは地下深くないけれど禍々しい」ということは事実と異なる fact11: もしこの百姓達が終了出来るとするとその日韓間は捨て難い fact12: 「あの無一物は捨て難いししかもそれは収入す」ということは誤りだ fact13: その日韓間が捨て難いならあの左記は終了出来る fact14: あの左記が終了出来るとすればあの日韓間は捨て難い fact15: あの左記は炭坑だ fact16: とあるものが降り頻るとすると捨て難い ; $hypothesis$ = この百姓達は降り頻らない ; $proof$ = 
fact5 & fact4 -> int1: 「その日韓間は終了出来る」ということは正しい; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの左記は終了出来れば「その日韓間は再興する」ということは事実である
事実2: もしもこの百姓達が終了出来るならその日韓間は降り頻る
事実3: もし仮にあの左記が降り頻るとしたらこの百姓達は再興する
事実4: 「あの左記は再興しないが捨て難い」ということは誤りだ
事実5: もし仮に「あの左記は再興しないがしかし捨て難い」ということは偽であるならその日韓間は終了出来る
事実6: 「あの左記は降り頻らないが捨て難い」ということは事実と異なる
事実7: その日韓間が終了出来るとしたらこの百姓達は降り頻る
事実8: 「この百姓達は降り頻らないけどそれは捨て難い」ということは事実でない
事実9: あの左記は降り頻る
事実10: 「この聖火ランナーは地下深くないけれど禍々しい」ということは事実と異なる
事実11: もしこの百姓達が終了出来るとするとその日韓間は捨て難い
事実12: 「あの無一物は捨て難いししかもそれは収入す」ということは誤りだ
事実13: その日韓間が捨て難いならあの左記は終了出来る
事実14: あの左記が終了出来るとすればあの日韓間は捨て難い
事実15: あの左記は炭坑だ
事実16: とあるものが降り頻るとすると捨て難い

仮説: この百姓達は降り頻らない
1. 事実5と事実4から、推論1: "「その日韓間は終了出来る」ということは正しい"が導かれる
2. 推論1と事実7から、仮説が否定される

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