その観客動員数は流速でない
fact1: もし仮にその陽法が高度経済成長期であるならばあのＩ型は高度経済成長期だ fact2: もし仮に「あるものは当たり易いけど発振周波数でない」ということは成り立たないとすると当たり易くない fact3: もし仮に何らかの物は公設でないとするとそれは高度経済成長期でおまけに丸餅だ fact4: それはＲＡＮＤだ一方で人材面でないというものはない fact5: 仮にとある物が綾なさないならその観客動員数は公設でおまけにそれは丸餅である fact6: あのＩ型は高度経済成長期であるとすれば「それは当たり易いが発振周波数でない」ということは誤っている fact7: 「御送り致さない」物はある fact8: その個は綾なさない fact9: もし仮にあのＩ型が乳腺であるとするとその陽法は発振周波数でないが当たり易い fact10: もし仮にその個が親夫婦であるとしたらその陽法は公設でない fact11: その心身一如は綾なさない fact12: なにがしかのものが高度経済成長期だということはないがしかしそれは丸餅だとすると「流速であるということはない」ということは確かである fact13: その個は乳腺である fact14: もし仮にその陽法が発振周波数だということはないがしかし当たり易いとするとその観客動員数は高度経済成長期でない fact15: もし「御送り致さない」ものがあるとするとその個は親夫婦であるかあるいは綾なすかもしくはどちらもである fact16: もし何かは流速であるということはないなら惨たらしくて更に誌でない fact17: あのＩ型が乳腺だということはないとするとＲＡＮＤだけど人材面でない
void -> assump1: 以下のように仮定する。あのＩ型は乳腺でない; fact17 & assump1 -> int1: あのＩ型はＲＡＮＤだけれど人材面でない; fact4 -> int2: 「あのＩ型がＲＡＮＤだけど人材面だということはない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＩ型は乳腺である; int4 & fact9 -> int5: その陽法は発振周波数でないけど当たり易い; int5 & fact14 -> int6: 「その観客動員数は高度経済成長期だということはない」ということは成り立つ; fact8 -> int7: ある物は綾なさない; int7 & fact5 -> int8: その観客動員数は公設であるしその上丸餅である; int8 -> int9: その観客動員数は丸餅だ; int6 & int9 -> int10: その観客動員数は高度経済成長期でないけれどそれは丸餅だ; fact12 -> int11: もしその観客動員数は高度経済成長期でないけれど丸餅ならばそれは流速でない; int10 & int11 -> hypothesis;
その観客動員数は流速だ
fact21 -> int12: 仮に「あのＩ型は当たり易いけれど発振周波数でない」ということは間違っていれば当たり易くない; fact19 -> int13: 「もし「その陽法は公設であるということはない」ということは本当だとするとその陽法は高度経済成長期であるし丸餅だ」ということは確かである; fact24 & fact23 -> int14: その個は親夫婦であるかまたはそれは綾なすかどちらもである;
$facts$ = fact1: もし仮にその陽法が高度経済成長期であるならばあのＩ型は高度経済成長期だ fact2: もし仮に「あるものは当たり易いけど発振周波数でない」ということは成り立たないとすると当たり易くない fact3: もし仮に何らかの物は公設でないとするとそれは高度経済成長期でおまけに丸餅だ fact4: それはＲＡＮＤだ一方で人材面でないというものはない fact5: 仮にとある物が綾なさないならその観客動員数は公設でおまけにそれは丸餅である fact6: あのＩ型は高度経済成長期であるとすれば「それは当たり易いが発振周波数でない」ということは誤っている fact7: 「御送り致さない」物はある fact8: その個は綾なさない fact9: もし仮にあのＩ型が乳腺であるとするとその陽法は発振周波数でないが当たり易い fact10: もし仮にその個が親夫婦であるとしたらその陽法は公設でない fact11: その心身一如は綾なさない fact12: なにがしかのものが高度経済成長期だということはないがしかしそれは丸餅だとすると「流速であるということはない」ということは確かである fact13: その個は乳腺である fact14: もし仮にその陽法が発振周波数だということはないがしかし当たり易いとするとその観客動員数は高度経済成長期でない fact15: もし「御送り致さない」ものがあるとするとその個は親夫婦であるかあるいは綾なすかもしくはどちらもである fact16: もし何かは流速であるということはないなら惨たらしくて更に誌でない fact17: あのＩ型が乳腺だということはないとするとＲＡＮＤだけど人材面でない ; $hypothesis$ = その観客動員数は流速でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＩ型は乳腺でない; fact17 & assump1 -> int1: あのＩ型はＲＡＮＤだけれど人材面でない; fact4 -> int2: 「あのＩ型がＲＡＮＤだけど人材面だということはない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＩ型は乳腺である; int4 & fact9 -> int5: その陽法は発振周波数でないけど当たり易い; int5 & fact14 -> int6: 「その観客動員数は高度経済成長期だということはない」ということは成り立つ; fact8 -> int7: ある物は綾なさない; int7 & fact5 -> int8: その観客動員数は公設であるしその上丸餅である; int8 -> int9: その観客動員数は丸餅だ; int6 & int9 -> int10: その観客動員数は高度経済成長期でないけれどそれは丸餅だ; fact12 -> int11: もしその観客動員数は高度経済成長期でないけれど丸餅ならばそれは流速でない; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮にその陽法が高度経済成長期であるならばあのＩ型は高度経済成長期だ
事実2: もし仮に「あるものは当たり易いけど発振周波数でない」ということは成り立たないとすると当たり易くない
事実3: もし仮に何らかの物は公設でないとするとそれは高度経済成長期でおまけに丸餅だ
事実4: それはＲＡＮＤだ一方で人材面でないというものはない
事実5: 仮にとある物が綾なさないならその観客動員数は公設でおまけにそれは丸餅である
事実6: あのＩ型は高度経済成長期であるとすれば「それは当たり易いが発振周波数でない」ということは誤っている
事実7: 「御送り致さない」物はある
事実8: その個は綾なさない
事実9: もし仮にあのＩ型が乳腺であるとするとその陽法は発振周波数でないが当たり易い
事実10: もし仮にその個が親夫婦であるとしたらその陽法は公設でない
事実11: その心身一如は綾なさない
事実12: なにがしかのものが高度経済成長期だということはないがしかしそれは丸餅だとすると「流速であるということはない」ということは確かである
事実13: その個は乳腺である
事実14: もし仮にその陽法が発振周波数だということはないがしかし当たり易いとするとその観客動員数は高度経済成長期でない
事実15: もし「御送り致さない」ものがあるとするとその個は親夫婦であるかあるいは綾なすかもしくはどちらもである
事実16: もし何かは流速であるということはないなら惨たらしくて更に誌でない
事実17: あのＩ型が乳腺だということはないとするとＲＡＮＤだけど人材面でない

仮説: その観客動員数は流速でない
1. 仮定1: 以下のように仮定する。あのＩ型は乳腺でない
2. 事実17と仮定1から、推論1: "あのＩ型はＲＡＮＤだけれど人材面でない"が導かれる
3. 事実4から、推論2: "「あのＩ型がＲＡＮＤだけど人材面だということはない」ということは間違っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのＩ型は乳腺である"が導かれる
6. 推論4と事実9から、推論5: "その陽法は発振周波数でないけど当たり易い"が導かれる
7. 推論5と事実14から、推論6: "「その観客動員数は高度経済成長期だということはない」ということは成り立つ"が導かれる
8. 事実8から、推論7: "ある物は綾なさない"が導かれる
9. 推論7と事実5から、推論8: "その観客動員数は公設であるしその上丸餅である"が導かれる
10. 推論8から、推論9: "その観客動員数は丸餅だ"が導かれる
11. 推論6と推論9から、推論10: "その観客動員数は高度経済成長期でないけれどそれは丸餅だ"が導かれる
12. 事実12から、推論11: "もしその観客動員数は高度経済成長期でないけれど丸餅ならばそれは流速でない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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