「あの申請等は著述するということはないかまたはレコードＩＤでないかどちらもである」ということは成り立たない
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: このワインセラーは清しし節会だ
fact25 -> int1: このワインセラーは清し; fact3 & fact1 -> int2: このワインセラーは寝かせる; int1 & int2 -> int3: このワインセラーは寝かせるしかつ清し; int3 & fact17 -> int4: その業務改善は問題提起しない; fact4 -> int5: 仮にその業務改善は問題提起するということはないならば「それは韓国最大でそれにそれは侵入し易くない」ということは偽である; int4 & int5 -> int6: 「その業務改善は韓国最大であるが侵入し易くない」ということは間違っている; int6 -> int7: 「「韓国最大であるが侵入し易いということはない」ということは成り立たない」物はある; int7 & fact16 -> int8: あの漁船保険組合は著述する; int8 & fact15 -> 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: このワインセラーは清しし節会だ ; $hypothesis$ = 「あの申請等は著述するということはないかまたはレコードＩＤでないかどちらもである」ということは成り立たない ; $proof$ = 
fact25 -> int1: このワインセラーは清し; fact3 & fact1 -> int2: このワインセラーは寝かせる; int1 & int2 -> int3: このワインセラーは寝かせるしかつ清し; int3 & fact17 -> int4: その業務改善は問題提起しない; fact4 -> int5: 仮にその業務改善は問題提起するということはないならば「それは韓国最大でそれにそれは侵入し易くない」ということは偽である; int4 & int5 -> int6: 「その業務改善は韓国最大であるが侵入し易くない」ということは間違っている; int6 -> int7: 「「韓国最大であるが侵入し易いということはない」ということは成り立たない」物はある; int7 & fact16 -> int8: あの漁船保険組合は著述する; int8 & fact15 -> 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: このワインセラーは清しし節会だ

仮説: 「あの申請等は著述するということはないかまたはレコードＩＤでないかどちらもである」ということは成り立たない
1. 事実25から、推論1: "このワインセラーは清し"が導かれる
2. 事実3と事実1から、推論2: "このワインセラーは寝かせる"が導かれる
3. 推論1と推論2から、推論3: "このワインセラーは寝かせるしかつ清し"が導かれる
4. 推論3と事実17から、推論4: "その業務改善は問題提起しない"が導かれる
5. 事実4から、推論5: "仮にその業務改善は問題提起するということはないならば「それは韓国最大でそれにそれは侵入し易くない」ということは偽である"が導かれる
6. 推論4と推論5から、推論6: "「その業務改善は韓国最大であるが侵入し易くない」ということは間違っている"が導かれる
7. 推論6から、推論7: "「「韓国最大であるが侵入し易いということはない」ということは成り立たない」物はある"が導かれる
8. 推論7と事実16から、推論8: "あの漁船保険組合は著述する"が導かれる
9. 推論8と事実15から、仮説が否定される

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