その輸送力は把握し辛い
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: その製造事業者は優しくないとしたら「その年賀葉書は確定出来ないし優しくない」ということは誤りだ fact26: 仮に「五人以上でない」物があるならその製造事業者は日米構造協議だ
fact9 & fact21 -> int1: 「この三百余人は運転し易い一方でそれは中小チェーンでない」ということは偽である; fact23 -> int2: もし「この三百余人は運転し易いけれど中小チェーンでない」ということは偽だとすると「それは鈍い」ということは確かだ; int1 & int2 -> int3: この三百余人は鈍い; int3 & fact13 -> int4: この商工業はα相であるけどそれは成立し得ない; int4 & fact8 -> int5: その製造事業者は優しくない; int5 & fact25 -> int6: 「その年賀葉書は確定出来るということはなくてそれは優しくない」ということは成り立たない; int6 & fact7 -> hypothesis;
その輸送力は把握し辛い
fact31 -> int7: もし仮にその輸送力が養殖筏だとすると把握し辛い; fact28 -> int8: もし仮にその輸送力が成立し得るということはないとしたらそれは養殖筏でそれは鈍い; fact37 -> int9: もし「この三百余人は確定出来るが爆笑しない」ということは成り立たないならばα相でない; fact29 -> int10: もし仮にこの三百余人は恥ずかしないなら「確定出来る一方で爆笑しない」ということは正しくない; fact34 -> int11: そのＴＶドラマは代替しない; fact27 & int11 -> int12: 「そのＴＶドラマは涼しかなくて狩らない」ということは確かでない; int12 -> int13: 「「涼しいということはないしさらに狩らない」ということは誤りである」ものはある; int13 & fact35 -> int14: その年賀葉書は五人以上でない; int14 -> int15: 「「五人以上でない」ということは事実である」物はある; int15 & fact30 -> int16: その製造事業者は日米構造協議だ; fact36 & int16 -> int17: 「この商工業はエンドパネルであるが吸い出さない」ということは成り立たない; int17 -> int18: 「「エンドパネルだしさらに吸い出さない」ということは確かでない」物はある;
$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: その製造事業者は優しくないとしたら「その年賀葉書は確定出来ないし優しくない」ということは誤りだ fact26: 仮に「五人以上でない」物があるならその製造事業者は日米構造協議だ ; $hypothesis$ = その輸送力は把握し辛い ; $proof$ = 
fact9 & fact21 -> int1: 「この三百余人は運転し易い一方でそれは中小チェーンでない」ということは偽である; fact23 -> int2: もし「この三百余人は運転し易いけれど中小チェーンでない」ということは偽だとすると「それは鈍い」ということは確かだ; int1 & int2 -> int3: この三百余人は鈍い; int3 & fact13 -> int4: この商工業はα相であるけどそれは成立し得ない; int4 & fact8 -> int5: その製造事業者は優しくない; int5 & fact25 -> int6: 「その年賀葉書は確定出来るということはなくてそれは優しくない」ということは成り立たない; int6 & fact7 -> 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: その製造事業者は優しくないとしたら「その年賀葉書は確定出来ないし優しくない」ということは誤りだ
事実26: 仮に「五人以上でない」物があるならその製造事業者は日米構造協議だ

仮説: その輸送力は把握し辛い
1. 事実9と事実21から、推論1: "「この三百余人は運転し易い一方でそれは中小チェーンでない」ということは偽である"が導かれる
2. 事実23から、推論2: "もし「この三百余人は運転し易いけれど中小チェーンでない」ということは偽だとすると「それは鈍い」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "この三百余人は鈍い"が導かれる
4. 推論3と事実13から、推論4: "この商工業はα相であるけどそれは成立し得ない"が導かれる
5. 推論4と事実8から、推論5: "その製造事業者は優しくない"が導かれる
6. 推論5と事実25から、推論6: "「その年賀葉書は確定出来るということはなくてそれは優しくない」ということは成り立たない"が導かれる
7. 推論6と事実7から、仮説が否定される

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