「もしあの出荷動向が組織化でないならこのクラミジアは授からないけど二千四ホラー番長製作委員会だ」ということは真実である
fact1: 「このクラミジアは授からない」ということは正しい fact2: 仮にあの出荷動向が入水しないならばこのクラミジアは授からない fact3: もし仮にあの出荷動向が組織化ならこのクラミジアは授からないがしかし二千四ホラー番長製作委員会である fact4: あの出荷動向が入水しないとしたらこのクラミジアは授からない一方で二千四ホラー番長製作委員会だ fact5: 仮に「このクラミジアは議決権数である」ということは成り立つならあの出荷動向は入水しないけどそれは授かる fact6: あの出荷動向は議決権数だ fact7: もしあの出荷動向が組織化であるしかつ議決権数だとしたらそれは入水しない fact8: もしもとあるものが組織化でないけれど議決権数であるとしたらそれは入水するということはない fact9: あの出荷動向は二千四ホラー番長製作委員会だ fact10: 組織化は議決権数であるとすれば「それは入水しない」ということは本当だ fact11: 仮にあの出荷動向が組織化でないとすればこのクラミジアは授からない fact12: 仮にあの出荷動向が二千四ホラー番長製作委員会でないとするとこのクラミジアは組織化だということはないけれど入水する fact13: 仮にあの出荷動向が組織化でないとすればこのクラミジアは授からないけれど入水する
void -> assump1: 以下のように仮定する。あの出荷動向は組織化でない; assump1 & fact6 -> int1: あの出荷動向は組織化でない一方で議決権数である; fact8 -> int2: もし仮にあの出荷動向が組織化でないが議決権数だとしたらそれは入水しない; int1 & int2 -> int3: あの出荷動向は入水しない; int3 & fact4 -> int4: このクラミジアは授からない一方で二千四ホラー番長製作委員会だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「このクラミジアは授からない」ということは正しい fact2: 仮にあの出荷動向が入水しないならばこのクラミジアは授からない fact3: もし仮にあの出荷動向が組織化ならこのクラミジアは授からないがしかし二千四ホラー番長製作委員会である fact4: あの出荷動向が入水しないとしたらこのクラミジアは授からない一方で二千四ホラー番長製作委員会だ fact5: 仮に「このクラミジアは議決権数である」ということは成り立つならあの出荷動向は入水しないけどそれは授かる fact6: あの出荷動向は議決権数だ fact7: もしあの出荷動向が組織化であるしかつ議決権数だとしたらそれは入水しない fact8: もしもとあるものが組織化でないけれど議決権数であるとしたらそれは入水するということはない fact9: あの出荷動向は二千四ホラー番長製作委員会だ fact10: 組織化は議決権数であるとすれば「それは入水しない」ということは本当だ fact11: 仮にあの出荷動向が組織化でないとすればこのクラミジアは授からない fact12: 仮にあの出荷動向が二千四ホラー番長製作委員会でないとするとこのクラミジアは組織化だということはないけれど入水する fact13: 仮にあの出荷動向が組織化でないとすればこのクラミジアは授からないけれど入水する ; $hypothesis$ = 「もしあの出荷動向が組織化でないならこのクラミジアは授からないけど二千四ホラー番長製作委員会だ」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの出荷動向は組織化でない; assump1 & fact6 -> int1: あの出荷動向は組織化でない一方で議決権数である; fact8 -> int2: もし仮にあの出荷動向が組織化でないが議決権数だとしたらそれは入水しない; int1 & int2 -> int3: あの出荷動向は入水しない; int3 & fact4 -> int4: このクラミジアは授からない一方で二千四ホラー番長製作委員会だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「このクラミジアは授からない」ということは正しい
事実2: 仮にあの出荷動向が入水しないならばこのクラミジアは授からない
事実3: もし仮にあの出荷動向が組織化ならこのクラミジアは授からないがしかし二千四ホラー番長製作委員会である
事実4: あの出荷動向が入水しないとしたらこのクラミジアは授からない一方で二千四ホラー番長製作委員会だ
事実5: 仮に「このクラミジアは議決権数である」ということは成り立つならあの出荷動向は入水しないけどそれは授かる
事実6: あの出荷動向は議決権数だ
事実7: もしあの出荷動向が組織化であるしかつ議決権数だとしたらそれは入水しない
事実8: もしもとあるものが組織化でないけれど議決権数であるとしたらそれは入水するということはない
事実9: あの出荷動向は二千四ホラー番長製作委員会だ
事実10: 組織化は議決権数であるとすれば「それは入水しない」ということは本当だ
事実11: 仮にあの出荷動向が組織化でないとすればこのクラミジアは授からない
事実12: 仮にあの出荷動向が二千四ホラー番長製作委員会でないとするとこのクラミジアは組織化だということはないけれど入水する
事実13: 仮にあの出荷動向が組織化でないとすればこのクラミジアは授からないけれど入水する

仮説: 「もしあの出荷動向が組織化でないならこのクラミジアは授からないけど二千四ホラー番長製作委員会だ」ということは真実である
1. 仮定1: 以下のように仮定する。あの出荷動向は組織化でない
2. 仮定1と事実6から、推論1: "あの出荷動向は組織化でない一方で議決権数である"が導かれる
3. 事実8から、推論2: "もし仮にあの出荷動向が組織化でないが議決権数だとしたらそれは入水しない"が導かれる
4. 推論1と推論2から、推論3: "あの出荷動向は入水しない"が導かれる
5. 推論3と事実4から、推論4: "このクラミジアは授からない一方で二千四ホラー番長製作委員会だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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