「「あの商事部門は極まり悪くないけれど商品化だ」ということは正しい」ということは誤りだ
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: もしこのＮＳＸは信託会社でないとしたら「「あの商事部門が信託会社だしさらに商品化である」ということは成り立つ」ということは間違っている
fact24 -> int1: この檜風呂は入り難い; int1 -> int2: この檜風呂は入り難いかあるいはど偉いかあるいは両方である; fact23 -> int3: もしもこの檜風呂が入り難いかもしくはど偉いならばそれは吝いということはない; int2 & int3 -> int4: この檜風呂は吝くない; int4 & fact9 -> int5: 「あの新長期計画は吝いがしかし急展開しない」ということは成り立たない; int5 & fact14 -> int6: このＮＳＸは信託会社だ; int6 & fact8 -> int7: あの商事部門は極まり悪くない; fact12 & fact19 -> int8: あの商事部門は商品化だがしかしそれは調節しない; int8 -> int9: あの商事部門は商品化である; int7 & int9 -> hypothesis;
「あの商事部門は極まり悪いということはないけれど商品化だ」ということは成り立つということはない
fact26 -> int10: もし仮にあの商事部門は入り難くないならば「極まり悪くないが商品化だ」ということは成り立たない;
$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$ = 
fact24 -> int1: この檜風呂は入り難い; int1 -> int2: この檜風呂は入り難いかあるいはど偉いかあるいは両方である; fact23 -> int3: もしもこの檜風呂が入り難いかもしくはど偉いならばそれは吝いということはない; int2 & int3 -> int4: この檜風呂は吝くない; int4 & fact9 -> int5: 「あの新長期計画は吝いがしかし急展開しない」ということは成り立たない; int5 & fact14 -> int6: このＮＳＸは信託会社だ; int6 & fact8 -> int7: あの商事部門は極まり悪くない; fact12 & fact19 -> int8: あの商事部門は商品化だがしかしそれは調節しない; int8 -> int9: あの商事部門は商品化である; int7 & int9 -> 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. 事実24から、推論1: "この檜風呂は入り難い"が導かれる
2. 推論1から、推論2: "この檜風呂は入り難いかあるいはど偉いかあるいは両方である"が導かれる
3. 事実23から、推論3: "もしもこの檜風呂が入り難いかもしくはど偉いならばそれは吝いということはない"が導かれる
4. 推論2と推論3から、推論4: "この檜風呂は吝くない"が導かれる
5. 推論4と事実9から、推論5: "「あの新長期計画は吝いがしかし急展開しない」ということは成り立たない"が導かれる
6. 推論5と事実14から、推論6: "このＮＳＸは信託会社だ"が導かれる
7. 推論6と事実8から、推論7: "あの商事部門は極まり悪くない"が導かれる
8. 事実12と事実19から、推論8: "あの商事部門は商品化だがしかしそれは調節しない"が導かれる
9. 推論8から、推論9: "あの商事部門は商品化である"が導かれる
10. 推論7と推論9から、仮説が否定される

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