あの書店主は発行禁止である
fact1: あの斎藤委員は面白おかしい fact2: 「何らかの物は文学賞だということはないけどそれは賄いだ」ということは成り立たないならばそれは理解し辛い fact3: もし仮にあの斎藤委員が面白おかしくないけど理解し辛いとすればこの仕事面は賄いでない fact4: この版下はアメリカっぽい fact5: もし仮にあの斎藤委員が見え易いし加えて業火だとしたらこの仕事面は再診断しない fact6: あの斎藤委員が面白おかしいとすればそれは見え易くなくてかつそれは業火だ fact7: もしこの版下がアメリカっぽいならばそれは汗腺だ fact8: もしも「理解し辛いが再診断しない」物があるとしたらあの書店主は発行禁止である fact9: 鬱陶しいものは面白おかしくないし更に見え易くない fact10: なんらかの物は歌い踊る一方でよさこいでないとしたらそれは鬱陶しい fact11: もし「再診断するしおまけに見え易くない」物があるとすればあの斎藤委員は理解し辛い fact12: あの書店主は御強い fact13: もしも「この版下は汗腺だ」ということは真実なら歌い踊るしそれはよさこいでない fact14: もしあの斎藤委員が見え易いということはないけど業火であるとするとこの仕事面は再診断しない fact15: 「「この仕事面は文学賞でないけど賄いだ」ということは成り立つ」ということは偽だ fact16: もしあるものが文学賞ならば理解し辛い fact17: あの斎藤委員が面白おかしいならば見え易くない fact18: 「「あの斎藤委員は理解し辛いしまた再診断する」ということは間違いだ」ということは確かだとするとあの書店主は発行禁止でない fact19: もしこの版下は見え易くないとすれば「あのＡＩＤＭＡは理解し辛くないしかつ業火でない」ということは成り立つ
fact2 -> int1: 「この仕事面は文学賞でないけれどそれは賄いである」ということは正しくないとしたら理解し辛い; int1 & fact15 -> int2: この仕事面は理解し辛い; fact6 & fact1 -> int3: あの斎藤委員は見え易くないが業火だ; fact14 & int3 -> int4: この仕事面は再診断しない; int2 & int4 -> int5: この仕事面は理解し辛いが再診断しない; int5 -> int6: なんらかのものは理解し辛いがしかしそれは再診断しない; int6 & fact8 -> hypothesis;
あの書店主は発行禁止でない
fact20 -> int7: もしもこの版下が鬱陶しいとすれば面白おかしいということはなくてかつ見え易くない; fact21 -> int8: もし仮にこの版下は歌い踊るがよさこいでないとしたら「鬱陶しい」ということは正しい; fact24 & fact23 -> int9: この版下は汗腺である; fact22 & int9 -> int10: この版下は歌い踊るけどよさこいであるということはない; int8 & int10 -> int11: この版下は鬱陶しい; int7 & int11 -> int12: この版下は面白おかしくなくてそれにそれは見え易くない; int12 -> int13: この版下は見え易くない; fact26 & int13 -> int14: あのＡＩＤＭＡは理解し辛くないし業火でない; int14 -> int15: 「あのＡＩＤＭＡは理解し辛くない」ということは成り立つ; int15 -> int16: 「なにがしかの物は理解し辛くない」ということは本当だ;
$facts$ = fact1: あの斎藤委員は面白おかしい fact2: 「何らかの物は文学賞だということはないけどそれは賄いだ」ということは成り立たないならばそれは理解し辛い fact3: もし仮にあの斎藤委員が面白おかしくないけど理解し辛いとすればこの仕事面は賄いでない fact4: この版下はアメリカっぽい fact5: もし仮にあの斎藤委員が見え易いし加えて業火だとしたらこの仕事面は再診断しない fact6: あの斎藤委員が面白おかしいとすればそれは見え易くなくてかつそれは業火だ fact7: もしこの版下がアメリカっぽいならばそれは汗腺だ fact8: もしも「理解し辛いが再診断しない」物があるとしたらあの書店主は発行禁止である fact9: 鬱陶しいものは面白おかしくないし更に見え易くない fact10: なんらかの物は歌い踊る一方でよさこいでないとしたらそれは鬱陶しい fact11: もし「再診断するしおまけに見え易くない」物があるとすればあの斎藤委員は理解し辛い fact12: あの書店主は御強い fact13: もしも「この版下は汗腺だ」ということは真実なら歌い踊るしそれはよさこいでない fact14: もしあの斎藤委員が見え易いということはないけど業火であるとするとこの仕事面は再診断しない fact15: 「「この仕事面は文学賞でないけど賄いだ」ということは成り立つ」ということは偽だ fact16: もしあるものが文学賞ならば理解し辛い fact17: あの斎藤委員が面白おかしいならば見え易くない fact18: 「「あの斎藤委員は理解し辛いしまた再診断する」ということは間違いだ」ということは確かだとするとあの書店主は発行禁止でない fact19: もしこの版下は見え易くないとすれば「あのＡＩＤＭＡは理解し辛くないしかつ業火でない」ということは成り立つ ; $hypothesis$ = あの書店主は発行禁止である ; $proof$ = 
fact2 -> int1: 「この仕事面は文学賞でないけれどそれは賄いである」ということは正しくないとしたら理解し辛い; int1 & fact15 -> int2: この仕事面は理解し辛い; fact6 & fact1 -> int3: あの斎藤委員は見え易くないが業火だ; fact14 & int3 -> int4: この仕事面は再診断しない; int2 & int4 -> int5: この仕事面は理解し辛いが再診断しない; int5 -> int6: なんらかのものは理解し辛いがしかしそれは再診断しない; int6 & fact8 -> hypothesis; __PROVED__
事実1: あの斎藤委員は面白おかしい
事実2: 「何らかの物は文学賞だということはないけどそれは賄いだ」ということは成り立たないならばそれは理解し辛い
事実3: もし仮にあの斎藤委員が面白おかしくないけど理解し辛いとすればこの仕事面は賄いでない
事実4: この版下はアメリカっぽい
事実5: もし仮にあの斎藤委員が見え易いし加えて業火だとしたらこの仕事面は再診断しない
事実6: あの斎藤委員が面白おかしいとすればそれは見え易くなくてかつそれは業火だ
事実7: もしこの版下がアメリカっぽいならばそれは汗腺だ
事実8: もしも「理解し辛いが再診断しない」物があるとしたらあの書店主は発行禁止である
事実9: 鬱陶しいものは面白おかしくないし更に見え易くない
事実10: なんらかの物は歌い踊る一方でよさこいでないとしたらそれは鬱陶しい
事実11: もし「再診断するしおまけに見え易くない」物があるとすればあの斎藤委員は理解し辛い
事実12: あの書店主は御強い
事実13: もしも「この版下は汗腺だ」ということは真実なら歌い踊るしそれはよさこいでない
事実14: もしあの斎藤委員が見え易いということはないけど業火であるとするとこの仕事面は再診断しない
事実15: 「「この仕事面は文学賞でないけど賄いだ」ということは成り立つ」ということは偽だ
事実16: もしあるものが文学賞ならば理解し辛い
事実17: あの斎藤委員が面白おかしいならば見え易くない
事実18: 「「あの斎藤委員は理解し辛いしまた再診断する」ということは間違いだ」ということは確かだとするとあの書店主は発行禁止でない
事実19: もしこの版下は見え易くないとすれば「あのＡＩＤＭＡは理解し辛くないしかつ業火でない」ということは成り立つ

仮説: あの書店主は発行禁止である
1. 事実2から、推論1: "「この仕事面は文学賞でないけれどそれは賄いである」ということは正しくないとしたら理解し辛い"が導かれる
2. 推論1と事実15から、推論2: "この仕事面は理解し辛い"が導かれる
3. 事実6と事実1から、推論3: "あの斎藤委員は見え易くないが業火だ"が導かれる
4. 事実14と推論3から、推論4: "この仕事面は再診断しない"が導かれる
5. 推論2と推論4から、推論5: "この仕事面は理解し辛いが再診断しない"が導かれる
6. 推論5から、推論6: "なんらかのものは理解し辛いがしかしそれは再診断しない"が導かれる
7. 推論6と事実8から、仮説が導かれる

よって、仮説が証明されました。