「もしもあの十月末は設立すれば「あの耐熱容器は事業展開しないしまた信心深くない」ということは誤りである」ということは誤っている
fact1: もし仮にあの十月末は設立すれば「あの耐熱容器は事業展開するけど信心深くない」ということは成り立たない fact2: もしもあの十月末は事業展開しないならば「あの耐熱容器は事業展開しなくてまた信心深くない」ということは間違いである fact3: もしもあの十月末は設立するとすると「あの耐熱容器は事業展開しないけれど信心深い」ということは誤りだ fact4: もしもなんらかのものが入所しないとすれば聞き取り難くない fact5: あの十月末は生じ易いなら「あの耐熱容器は六錠であるということはないしさらにそれは事業展開しない」ということは成り立たない fact6: 仮にあの十月末は事業展開するということはないなら「あの耐熱容器は事業展開するということはないけれど信心深い」ということは偽である fact7: もしもなんらかのものが捕縛するしそれが設立すればそれは生じ易くない fact8: あの十月末は捕縛するし六錠だ fact9: もし仮にあの耐熱容器が設立しないとしたら事業展開するということはない fact10: もし仮に「あの耐熱容器は事業展開しない」ということは偽だとすれば「あの十月末は信心深いけれどそれは設立しない」ということは成り立つということはない fact11: 説明し難くないものは小賢しくない fact12: 「生じ易くないものは事業展開しない」ということは成り立つ
fact8 -> int1: あの十月末は捕縛する; void -> assump1: 以下のように仮定する。あの十月末は設立する; int1 & assump1 -> int2: あの十月末は捕縛するしさらに設立する; fact7 -> int3: もしあの十月末が捕縛するしそれに設立するなら「それは生じ易くない」ということは事実だ; int2 & int3 -> int4: あの十月末は生じ易くない; fact12 -> int5: もし仮にあの十月末は生じ易くないとすれば「それは事業展開しない」ということは成り立つ; int4 & int5 -> int6: あの十月末は事業展開しない; int6 & fact2 -> int7: 「あの耐熱容器は事業展開しなくてその上信心深くない」ということは誤っている; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし仮にあの十月末は設立すれば「あの耐熱容器は事業展開するけど信心深くない」ということは成り立たない fact2: もしもあの十月末は事業展開しないならば「あの耐熱容器は事業展開しなくてまた信心深くない」ということは間違いである fact3: もしもあの十月末は設立するとすると「あの耐熱容器は事業展開しないけれど信心深い」ということは誤りだ fact4: もしもなんらかのものが入所しないとすれば聞き取り難くない fact5: あの十月末は生じ易いなら「あの耐熱容器は六錠であるということはないしさらにそれは事業展開しない」ということは成り立たない fact6: 仮にあの十月末は事業展開するということはないなら「あの耐熱容器は事業展開するということはないけれど信心深い」ということは偽である fact7: もしもなんらかのものが捕縛するしそれが設立すればそれは生じ易くない fact8: あの十月末は捕縛するし六錠だ fact9: もし仮にあの耐熱容器が設立しないとしたら事業展開するということはない fact10: もし仮に「あの耐熱容器は事業展開しない」ということは偽だとすれば「あの十月末は信心深いけれどそれは設立しない」ということは成り立つということはない fact11: 説明し難くないものは小賢しくない fact12: 「生じ易くないものは事業展開しない」ということは成り立つ ; $hypothesis$ = 「もしもあの十月末は設立すれば「あの耐熱容器は事業展開しないしまた信心深くない」ということは誤りである」ということは誤っている ; $proof$ = 
fact8 -> int1: あの十月末は捕縛する; void -> assump1: 以下のように仮定する。あの十月末は設立する; int1 & assump1 -> int2: あの十月末は捕縛するしさらに設立する; fact7 -> int3: もしあの十月末が捕縛するしそれに設立するなら「それは生じ易くない」ということは事実だ; int2 & int3 -> int4: あの十月末は生じ易くない; fact12 -> int5: もし仮にあの十月末は生じ易くないとすれば「それは事業展開しない」ということは成り立つ; int4 & int5 -> int6: あの十月末は事業展開しない; int6 & fact2 -> int7: 「あの耐熱容器は事業展開しなくてその上信心深くない」ということは誤っている; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの十月末は設立すれば「あの耐熱容器は事業展開するけど信心深くない」ということは成り立たない
事実2: もしもあの十月末は事業展開しないならば「あの耐熱容器は事業展開しなくてまた信心深くない」ということは間違いである
事実3: もしもあの十月末は設立するとすると「あの耐熱容器は事業展開しないけれど信心深い」ということは誤りだ
事実4: もしもなんらかのものが入所しないとすれば聞き取り難くない
事実5: あの十月末は生じ易いなら「あの耐熱容器は六錠であるということはないしさらにそれは事業展開しない」ということは成り立たない
事実6: 仮にあの十月末は事業展開するということはないなら「あの耐熱容器は事業展開するということはないけれど信心深い」ということは偽である
事実7: もしもなんらかのものが捕縛するしそれが設立すればそれは生じ易くない
事実8: あの十月末は捕縛するし六錠だ
事実9: もし仮にあの耐熱容器が設立しないとしたら事業展開するということはない
事実10: もし仮に「あの耐熱容器は事業展開しない」ということは偽だとすれば「あの十月末は信心深いけれどそれは設立しない」ということは成り立つということはない
事実11: 説明し難くないものは小賢しくない
事実12: 「生じ易くないものは事業展開しない」ということは成り立つ

仮説: 「もしもあの十月末は設立すれば「あの耐熱容器は事業展開しないしまた信心深くない」ということは誤りである」ということは誤っている
1. 事実8から、推論1: "あの十月末は捕縛する"が導かれる
2. 仮定1: 以下のように仮定する。あの十月末は設立する
3. 推論1と仮定1から、推論2: "あの十月末は捕縛するしさらに設立する"が導かれる
4. 事実7から、推論3: "もしあの十月末が捕縛するしそれに設立するなら「それは生じ易くない」ということは事実だ"が導かれる
5. 推論2と推論3から、推論4: "あの十月末は生じ易くない"が導かれる
6. 事実12から、推論5: "もし仮にあの十月末は生じ易くないとすれば「それは事業展開しない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "あの十月末は事業展開しない"が導かれる
8. 推論6と事実2から、推論7: "「あの耐熱容器は事業展開しなくてその上信心深くない」ということは誤っている"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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