「その絶滅寸前は狭過ぎるがしかし細長くない」ということは間違いである
fact1: 仮にそのドが公営放送だとするとそのビジネスリスクはエナメル塗料である fact2: そのビジネスリスクは通り難くて協同組織である fact3: そのビジネスリスクは通り難い fact4: もしそのビジネスリスクは狭過ぎないとすると「その絶滅寸前は協同組織であるがしかし通り難くない」ということは事実でない fact5: もし仮にそのドは公営放送でないなら「その絶滅寸前は狭過ぎるけど細長くない」ということは事実と異なる fact6: その絶滅寸前は協同組織である fact7: そのドが公営放送であるとしたらそのビジネスリスクはエナメル塗料だがしかし協同組織でない fact8: その絶滅寸前は狭過ぎるが公営放送であるということはない fact9: もしそのドが協同組織ならばあのビジネスリスクは公営放送である fact10: 仮に「そのドは細長い」ということは確かだとすればその絶滅寸前は公営放送であるけど協同組織でない fact11: 「そのビジネスリスクはエナメル塗料である」ということは偽でない fact12: 公営放送は狭過ぎるがしかし細長くない
void -> assump1: 以下のように仮定する。そのドは公営放送だ; fact7 & assump1 -> int1: そのビジネスリスクはエナメル塗料であるけれどそれは協同組織だということはない; int1 -> int2: そのビジネスリスクは協同組織でない; fact2 -> int3: そのビジネスリスクは協同組織である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのドは公営放送でない; int5 & fact5 -> hypothesis;
その絶滅寸前は狭過ぎるが細長くない
fact13 -> int6: もし仮に「その絶滅寸前は公営放送である」ということは真実であるなら狭過ぎるしかつそれは細長いということはない;
$facts$ = fact1: 仮にそのドが公営放送だとするとそのビジネスリスクはエナメル塗料である fact2: そのビジネスリスクは通り難くて協同組織である fact3: そのビジネスリスクは通り難い fact4: もしそのビジネスリスクは狭過ぎないとすると「その絶滅寸前は協同組織であるがしかし通り難くない」ということは事実でない fact5: もし仮にそのドは公営放送でないなら「その絶滅寸前は狭過ぎるけど細長くない」ということは事実と異なる fact6: その絶滅寸前は協同組織である fact7: そのドが公営放送であるとしたらそのビジネスリスクはエナメル塗料だがしかし協同組織でない fact8: その絶滅寸前は狭過ぎるが公営放送であるということはない fact9: もしそのドが協同組織ならばあのビジネスリスクは公営放送である fact10: 仮に「そのドは細長い」ということは確かだとすればその絶滅寸前は公営放送であるけど協同組織でない fact11: 「そのビジネスリスクはエナメル塗料である」ということは偽でない fact12: 公営放送は狭過ぎるがしかし細長くない ; $hypothesis$ = 「その絶滅寸前は狭過ぎるがしかし細長くない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。そのドは公営放送だ; fact7 & assump1 -> int1: そのビジネスリスクはエナメル塗料であるけれどそれは協同組織だということはない; int1 -> int2: そのビジネスリスクは協同組織でない; fact2 -> int3: そのビジネスリスクは協同組織である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのドは公営放送でない; int5 & fact5 -> hypothesis; __PROVED__
事実1: 仮にそのドが公営放送だとするとそのビジネスリスクはエナメル塗料である
事実2: そのビジネスリスクは通り難くて協同組織である
事実3: そのビジネスリスクは通り難い
事実4: もしそのビジネスリスクは狭過ぎないとすると「その絶滅寸前は協同組織であるがしかし通り難くない」ということは事実でない
事実5: もし仮にそのドは公営放送でないなら「その絶滅寸前は狭過ぎるけど細長くない」ということは事実と異なる
事実6: その絶滅寸前は協同組織である
事実7: そのドが公営放送であるとしたらそのビジネスリスクはエナメル塗料だがしかし協同組織でない
事実8: その絶滅寸前は狭過ぎるが公営放送であるということはない
事実9: もしそのドが協同組織ならばあのビジネスリスクは公営放送である
事実10: 仮に「そのドは細長い」ということは確かだとすればその絶滅寸前は公営放送であるけど協同組織でない
事実11: 「そのビジネスリスクはエナメル塗料である」ということは偽でない
事実12: 公営放送は狭過ぎるがしかし細長くない

仮説: 「その絶滅寸前は狭過ぎるがしかし細長くない」ということは間違いである
1. 仮定1: 以下のように仮定する。そのドは公営放送だ
2. 事実7と仮定1から、推論1: "そのビジネスリスクはエナメル塗料であるけれどそれは協同組織だということはない"が導かれる
3. 推論1から、推論2: "そのビジネスリスクは協同組織でない"が導かれる
4. 事実2から、推論3: "そのビジネスリスクは協同組織である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのドは公営放送でない"が導かれる
7. 推論5と事実5から、仮説が導かれる

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