もし仮にあの直流電力が脈打つということはないとしたらそのねんねこ半纏は加熱調理しないし供給し続けるということはない
fact1: この国内通貨は供給し続けない fact2: あの直流電力が脈打たないならそのねんねこ半纏は加熱調理するということはない一方で供給し続ける fact3: 仮にあの直流電力が脈打たないとするとそのねんねこ半纏は加熱調理しない fact4: あの軟膜は供給し続けない fact5: そのねんねこ半纏は脈打たないししかも決め込むということはない fact6: もし仮にちっちゃくないものが脈打つということはないとすると覚醒する fact7: そのねんねこ半纏は覚醒する fact8: この国内通貨はそびれる fact9: あの直流電力はそびれるということはない fact10: もし仮にあの直流電力が気高いならこの国内通貨はそびれない fact11: このバッファローはそびれる fact12: もし何らかの物が加熱調理しないしちっちゃくないなら「それはそびれる」ということは成り立つ fact13: 「もし仮にあの直流電力が脈打つとしたらそのねんねこ半纏は加熱調理するということはないしそれは供給し続けない」ということは嘘でない fact14: 仮にあの直流電力が覚醒すればそのねんねこ半纏は加熱調理しないしそれに供給し続けない fact15: そのねんねこ半纏は気高いということはない fact16: 仮にあの直流電力が気高いかあるいはちっちゃいとするとこの国内通貨はそびれない fact17: もしもあの直流電力が覚醒するとしたらそのねんねこ半纏は加熱調理しない fact18: 仮にちっちゃくないものが脈打つとしたら覚醒する
void -> assump2: 以下のように仮定する。あの直流電力はちっちゃい; assump2 -> int1: あの直流電力は気高いかそれはちっちゃいかあるいは両方だ; int1 & fact16 -> int2: この国内通貨はそびれない; int2 & fact8 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの直流電力はちっちゃくない; void -> assump1: 以下のように仮定する。「あの直流電力は脈打たない」ということは正しい; int4 & assump1 -> int5: あの直流電力はちっちゃくないし更に脈打たない; fact6 -> int6: もし仮にあの直流電力がちっちゃいということはないしおまけに脈打たないとしたらそれは覚醒する; int5 & int6 -> int7: あの直流電力は覚醒する; int7 & fact14 -> int8: そのねんねこ半纏は加熱調理しなくてまた供給し続けない; [assump1] & int8 -> hypothesis;
$facts$ = fact1: この国内通貨は供給し続けない fact2: あの直流電力が脈打たないならそのねんねこ半纏は加熱調理するということはない一方で供給し続ける fact3: 仮にあの直流電力が脈打たないとするとそのねんねこ半纏は加熱調理しない fact4: あの軟膜は供給し続けない fact5: そのねんねこ半纏は脈打たないししかも決め込むということはない fact6: もし仮にちっちゃくないものが脈打つということはないとすると覚醒する fact7: そのねんねこ半纏は覚醒する fact8: この国内通貨はそびれる fact9: あの直流電力はそびれるということはない fact10: もし仮にあの直流電力が気高いならこの国内通貨はそびれない fact11: このバッファローはそびれる fact12: もし何らかの物が加熱調理しないしちっちゃくないなら「それはそびれる」ということは成り立つ fact13: 「もし仮にあの直流電力が脈打つとしたらそのねんねこ半纏は加熱調理するということはないしそれは供給し続けない」ということは嘘でない fact14: 仮にあの直流電力が覚醒すればそのねんねこ半纏は加熱調理しないしそれに供給し続けない fact15: そのねんねこ半纏は気高いということはない fact16: 仮にあの直流電力が気高いかあるいはちっちゃいとするとこの国内通貨はそびれない fact17: もしもあの直流電力が覚醒するとしたらそのねんねこ半纏は加熱調理しない fact18: 仮にちっちゃくないものが脈打つとしたら覚醒する ; $hypothesis$ = もし仮にあの直流電力が脈打つということはないとしたらそのねんねこ半纏は加熱調理しないし供給し続けるということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの直流電力はちっちゃい; assump2 -> int1: あの直流電力は気高いかそれはちっちゃいかあるいは両方だ; int1 & fact16 -> int2: この国内通貨はそびれない; int2 & fact8 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの直流電力はちっちゃくない; void -> assump1: 以下のように仮定する。「あの直流電力は脈打たない」ということは正しい; int4 & assump1 -> int5: あの直流電力はちっちゃくないし更に脈打たない; fact6 -> int6: もし仮にあの直流電力がちっちゃいということはないしおまけに脈打たないとしたらそれは覚醒する; int5 & int6 -> int7: あの直流電力は覚醒する; int7 & fact14 -> int8: そのねんねこ半纏は加熱調理しなくてまた供給し続けない; [assump1] & int8 -> hypothesis; __PROVED__
事実1: この国内通貨は供給し続けない
事実2: あの直流電力が脈打たないならそのねんねこ半纏は加熱調理するということはない一方で供給し続ける
事実3: 仮にあの直流電力が脈打たないとするとそのねんねこ半纏は加熱調理しない
事実4: あの軟膜は供給し続けない
事実5: そのねんねこ半纏は脈打たないししかも決め込むということはない
事実6: もし仮にちっちゃくないものが脈打つということはないとすると覚醒する
事実7: そのねんねこ半纏は覚醒する
事実8: この国内通貨はそびれる
事実9: あの直流電力はそびれるということはない
事実10: もし仮にあの直流電力が気高いならこの国内通貨はそびれない
事実11: このバッファローはそびれる
事実12: もし何らかの物が加熱調理しないしちっちゃくないなら「それはそびれる」ということは成り立つ
事実13: 「もし仮にあの直流電力が脈打つとしたらそのねんねこ半纏は加熱調理するということはないしそれは供給し続けない」ということは嘘でない
事実14: 仮にあの直流電力が覚醒すればそのねんねこ半纏は加熱調理しないしそれに供給し続けない
事実15: そのねんねこ半纏は気高いということはない
事実16: 仮にあの直流電力が気高いかあるいはちっちゃいとするとこの国内通貨はそびれない
事実17: もしもあの直流電力が覚醒するとしたらそのねんねこ半纏は加熱調理しない
事実18: 仮にちっちゃくないものが脈打つとしたら覚醒する

仮説: もし仮にあの直流電力が脈打つということはないとしたらそのねんねこ半纏は加熱調理しないし供給し続けるということはない
1. 仮定2: 以下のように仮定する。あの直流電力はちっちゃい
2. 仮定2から、推論1: "あの直流電力は気高いかそれはちっちゃいかあるいは両方だ"が導かれる
3. 推論1と事実16から、推論2: "この国内通貨はそびれない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定2]と推論3から、推論4: "あの直流電力はちっちゃくない"が導かれる
6. 仮定1: 以下のように仮定する。「あの直流電力は脈打たない」ということは正しい
7. 推論4と仮定1から、推論5: "あの直流電力はちっちゃくないし更に脈打たない"が導かれる
8. 事実6から、推論6: "もし仮にあの直流電力がちっちゃいということはないしおまけに脈打たないとしたらそれは覚醒する"が導かれる
9. 推論5と推論6から、推論7: "あの直流電力は覚醒する"が導かれる
10. 推論7と事実14から、推論8: "そのねんねこ半纏は加熱調理しなくてまた供給し続けない"が導かれる
11. [仮定1]と推論8から、仮説が導かれる

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