その収穫期はちょっかいであるということはない
fact1: もし「なにがしかのものが朝鮮側だけど救い難くない」ということは嘘であるとすればそれは生み出せる fact2: 救い難いものは生み出せる fact3: もしとあるものは深しとすると「その労働基準法施行規則は朝鮮側だし救い難い」ということは間違っている fact4: もしも「「深し」ということは確かである」ものはあるとすると「その労働基準法施行規則は朝鮮側であるがそれは救い難くない」ということは嘘である fact5: もしその労働基準法施行規則が救い難いとすると生み出せる fact6: 「その労働基準法施行規則は朝鮮側でかつ救い難い」ということは成り立つということはない fact7: もしもとあるものが喜び有るけどちょっかいでないとしたらその収穫期は生み出せない fact8: あるものは深し fact9: もし「その労働基準法施行規則は喜び有る」ということは確かであるとすればちょっかいでない fact10: もし仮になにかは朝鮮側でないならば寒しけれど深しない fact11: 仮にその労働基準法施行規則がちょっかいでないとしたらその収穫期は寒し fact12: その収穫期は寒し fact13: その労働基準法施行規則は喜び有るかもしくは生み出せれば「ちょっかいでない」ということは成り立つ fact14: なにがしかの物は喜び有るがそれはちょっかいでない fact15: 仮にその労働基準法施行規則がちょっかいでないとすればあの収穫期は寒ししさらにちょっかいだ
fact8 & fact4 -> int1: 「その労働基準法施行規則は朝鮮側であるけれど救い難いということはない」ということは嘘である; fact1 -> int2: もしも「その労働基準法施行規則は朝鮮側であるが救い難いということはない」ということは偽だとすれば「それは生み出せない」ということは成り立たない; int1 & int2 -> int3: その労働基準法施行規則は生み出せる; int3 -> int4: その労働基準法施行規則は喜び有るかそれは生み出せるかあるいは両方ともである; int4 & fact13 -> int5: その労働基準法施行規則はちょっかいでない; int5 & fact15 -> int6: その収穫期は寒ししちょっかいだ; int6 -> hypothesis;
その労働基準法施行規則は寒し
fact16 -> int7: 仮に「その労働基準法施行規則は朝鮮側であるということはない」ということは確かだとするとそれは寒し一方で深しない; fact17 & fact18 -> int8: その収穫期は生み出せない; int8 -> int9: 「生み出せない」ものはある;
$facts$ = fact1: もし「なにがしかのものが朝鮮側だけど救い難くない」ということは嘘であるとすればそれは生み出せる fact2: 救い難いものは生み出せる fact3: もしとあるものは深しとすると「その労働基準法施行規則は朝鮮側だし救い難い」ということは間違っている fact4: もしも「「深し」ということは確かである」ものはあるとすると「その労働基準法施行規則は朝鮮側であるがそれは救い難くない」ということは嘘である fact5: もしその労働基準法施行規則が救い難いとすると生み出せる fact6: 「その労働基準法施行規則は朝鮮側でかつ救い難い」ということは成り立つということはない fact7: もしもとあるものが喜び有るけどちょっかいでないとしたらその収穫期は生み出せない fact8: あるものは深し fact9: もし「その労働基準法施行規則は喜び有る」ということは確かであるとすればちょっかいでない fact10: もし仮になにかは朝鮮側でないならば寒しけれど深しない fact11: 仮にその労働基準法施行規則がちょっかいでないとしたらその収穫期は寒し fact12: その収穫期は寒し fact13: その労働基準法施行規則は喜び有るかもしくは生み出せれば「ちょっかいでない」ということは成り立つ fact14: なにがしかの物は喜び有るがそれはちょっかいでない fact15: 仮にその労働基準法施行規則がちょっかいでないとすればあの収穫期は寒ししさらにちょっかいだ ; $hypothesis$ = その収穫期はちょっかいであるということはない ; $proof$ = 
fact8 & fact4 -> int1: 「その労働基準法施行規則は朝鮮側であるけれど救い難いということはない」ということは嘘である; fact1 -> int2: もしも「その労働基準法施行規則は朝鮮側であるが救い難いということはない」ということは偽だとすれば「それは生み出せない」ということは成り立たない; int1 & int2 -> int3: その労働基準法施行規則は生み出せる; int3 -> int4: その労働基準法施行規則は喜び有るかそれは生み出せるかあるいは両方ともである; int4 & fact13 -> int5: その労働基準法施行規則はちょっかいでない; int5 & fact15 -> int6: その収穫期は寒ししちょっかいだ; int6 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものが朝鮮側だけど救い難くない」ということは嘘であるとすればそれは生み出せる
事実2: 救い難いものは生み出せる
事実3: もしとあるものは深しとすると「その労働基準法施行規則は朝鮮側だし救い難い」ということは間違っている
事実4: もしも「「深し」ということは確かである」ものはあるとすると「その労働基準法施行規則は朝鮮側であるがそれは救い難くない」ということは嘘である
事実5: もしその労働基準法施行規則が救い難いとすると生み出せる
事実6: 「その労働基準法施行規則は朝鮮側でかつ救い難い」ということは成り立つということはない
事実7: もしもとあるものが喜び有るけどちょっかいでないとしたらその収穫期は生み出せない
事実8: あるものは深し
事実9: もし「その労働基準法施行規則は喜び有る」ということは確かであるとすればちょっかいでない
事実10: もし仮になにかは朝鮮側でないならば寒しけれど深しない
事実11: 仮にその労働基準法施行規則がちょっかいでないとしたらその収穫期は寒し
事実12: その収穫期は寒し
事実13: その労働基準法施行規則は喜び有るかもしくは生み出せれば「ちょっかいでない」ということは成り立つ
事実14: なにがしかの物は喜び有るがそれはちょっかいでない
事実15: 仮にその労働基準法施行規則がちょっかいでないとすればあの収穫期は寒ししさらにちょっかいだ

仮説: その収穫期はちょっかいであるということはない
1. 事実8と事実4から、推論1: "「その労働基準法施行規則は朝鮮側であるけれど救い難いということはない」ということは嘘である"が導かれる
2. 事実1から、推論2: "もしも「その労働基準法施行規則は朝鮮側であるが救い難いということはない」ということは偽だとすれば「それは生み出せない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "その労働基準法施行規則は生み出せる"が導かれる
4. 推論3から、推論4: "その労働基準法施行規則は喜び有るかそれは生み出せるかあるいは両方ともである"が導かれる
5. 推論4と事実13から、推論5: "その労働基準法施行規則はちょっかいでない"が導かれる
6. 推論5と事実15から、推論6: "その収穫期は寒ししちょっかいだ"が導かれる
7. 推論6から、仮説が否定される

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