もしそのクライマックスシーンは生み易いとすれば「その腫瘍高はメンバー等であるということはない」ということは本当だ
fact1: もしもその腫瘍高がメンバー等でないけど慣らすなら生み易くない fact2: 仮にそのクライマックスシーンが生み易いとしたらその腫瘍高はメンバー等だ fact3: 生み易いということはない物は子供っぽいということはないしその上歌舞伎っぽいということはない fact4: もし仮になんらかの物が慣らさないけれどそれが点火すればメンバー等でない fact5: もし仮にとある物が慣らさないしさらにそれが点火しないとしたらそれはメンバー等だ fact6: その大型テレビは開業当初でなくて慣らさない fact7: なんらかの物は慣らす一方で点火するということはないとするとメンバー等でない fact8: そのクライマックスシーンが生み易いならばこの高安県は慣らさない fact9: もしもその腫瘍高が点火しないならこの高安県は点火しないし更にそれは慣らすということはない fact10: もし何らかのものが慣らさないし更に点火しないとすればそれはメンバー等だということはない fact11: もしもこの高安県は慣らさないならば「その腫瘍高は慣らさないしさらに点火するということはない」ということは成り立つ fact12: もしその腫瘍高が慣らすということはないしそれは点火しないとすると「それはメンバー等である」ということは事実である
void -> assump1: 以下のように仮定する。そのクライマックスシーンは生み易い; fact8 & assump1 -> int1: この高安県は慣らさない; int1 & fact11 -> int2: その腫瘍高は慣らさなくてそれは点火しない; fact10 -> int3: もしもその腫瘍高は慣らさないし点火しないなら「それはメンバー等でない」ということは偽でない; int2 & int3 -> int4: その腫瘍高はメンバー等でない; [assump1] & int4 -> hypothesis;
この介護保険法案は子供っぽくないしそれは歌舞伎っぽくない
fact13 -> int5: もしこの介護保険法案が生み易くないとしたらそれは子供っぽくなくてまた歌舞伎っぽくない;
$facts$ = fact1: もしもその腫瘍高がメンバー等でないけど慣らすなら生み易くない fact2: 仮にそのクライマックスシーンが生み易いとしたらその腫瘍高はメンバー等だ fact3: 生み易いということはない物は子供っぽいということはないしその上歌舞伎っぽいということはない fact4: もし仮になんらかの物が慣らさないけれどそれが点火すればメンバー等でない fact5: もし仮にとある物が慣らさないしさらにそれが点火しないとしたらそれはメンバー等だ fact6: その大型テレビは開業当初でなくて慣らさない fact7: なんらかの物は慣らす一方で点火するということはないとするとメンバー等でない fact8: そのクライマックスシーンが生み易いならばこの高安県は慣らさない fact9: もしもその腫瘍高が点火しないならこの高安県は点火しないし更にそれは慣らすということはない fact10: もし何らかのものが慣らさないし更に点火しないとすればそれはメンバー等だということはない fact11: もしもこの高安県は慣らさないならば「その腫瘍高は慣らさないしさらに点火するということはない」ということは成り立つ fact12: もしその腫瘍高が慣らすということはないしそれは点火しないとすると「それはメンバー等である」ということは事実である ; $hypothesis$ = もしそのクライマックスシーンは生み易いとすれば「その腫瘍高はメンバー等であるということはない」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのクライマックスシーンは生み易い; fact8 & assump1 -> int1: この高安県は慣らさない; int1 & fact11 -> int2: その腫瘍高は慣らさなくてそれは点火しない; fact10 -> int3: もしもその腫瘍高は慣らさないし点火しないなら「それはメンバー等でない」ということは偽でない; int2 & int3 -> int4: その腫瘍高はメンバー等でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもその腫瘍高がメンバー等でないけど慣らすなら生み易くない
事実2: 仮にそのクライマックスシーンが生み易いとしたらその腫瘍高はメンバー等だ
事実3: 生み易いということはない物は子供っぽいということはないしその上歌舞伎っぽいということはない
事実4: もし仮になんらかの物が慣らさないけれどそれが点火すればメンバー等でない
事実5: もし仮にとある物が慣らさないしさらにそれが点火しないとしたらそれはメンバー等だ
事実6: その大型テレビは開業当初でなくて慣らさない
事実7: なんらかの物は慣らす一方で点火するということはないとするとメンバー等でない
事実8: そのクライマックスシーンが生み易いならばこの高安県は慣らさない
事実9: もしもその腫瘍高が点火しないならこの高安県は点火しないし更にそれは慣らすということはない
事実10: もし何らかのものが慣らさないし更に点火しないとすればそれはメンバー等だということはない
事実11: もしもこの高安県は慣らさないならば「その腫瘍高は慣らさないしさらに点火するということはない」ということは成り立つ
事実12: もしその腫瘍高が慣らすということはないしそれは点火しないとすると「それはメンバー等である」ということは事実である

仮説: もしそのクライマックスシーンは生み易いとすれば「その腫瘍高はメンバー等であるということはない」ということは本当だ
1. 仮定1: 以下のように仮定する。そのクライマックスシーンは生み易い
2. 事実8と仮定1から、推論1: "この高安県は慣らさない"が導かれる
3. 推論1と事実11から、推論2: "その腫瘍高は慣らさなくてそれは点火しない"が導かれる
4. 事実10から、推論3: "もしもその腫瘍高は慣らさないし点火しないなら「それはメンバー等でない」ということは偽でない"が導かれる
5. 推論2と推論3から、推論4: "その腫瘍高はメンバー等でない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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