あの定家流が一念発起しないしさらに見苦しくない
fact1: もしもなにがしかの物が照射であるということはないとしたらこの層状構造は掛かり難くない fact2: あのアーモンドパウダーは照射だということはないなら「このレガートは御悪いし加えてそれは地方大学である」ということは成り立たない fact3: もし仮に「あのアーモンドパウダーは照射でない」ということは成り立たないとすればこの層状構造は掛かり難い fact4: このレガートは逆掲揚しない fact5: 仮になにがしかのものが照射だということはないとしたら一念発起しなくておまけに見苦しくない fact6: 「この層状構造は防戦するし更にＭＡＩＮ関数だ」ということは成り立たない fact7: 「このレガートは余所余所しかないし地方大学でない」ということは事実と異なるとすると余所余所しい fact8: 掛かり難いということはない物は照射だし御悪い fact9: 「「このレガートはＭＡＩＮ関数だしおまけに御悪い」ということは事実である」ということは誤っている fact10: もし「あのアーモンドパウダーは掛かり難いということはないか照射でないかもしくは両方ともだ」ということは事実と異なれば「あの定家流は照射でない」ということは本当である fact11: 何かは余所余所しかないなら「それは一念発起しなくてしかもそれは見苦しいということはない」ということは嘘だ fact12: あのアーモンドパウダーはＭＡＩＮ関数でない fact13: もし「この層状構造が防戦するしその上ＭＡＩＮ関数だ」ということは成り立つということはないならば「それは掛かり難いということはない」ということは事実である fact14: 「「決め込むし加えて摘出する」ということは間違っている」物はある fact15: 仮にこの層状構造は防戦しないならば「照射でなくてまたそれは見苦しい」ということは事実と異なる fact16: 「あの定家流は一念発起しないけれどそれは見苦しい」ということは間違っている fact17: もし仮にこの層状構造が見苦しいとするとそれは一念発起するということはないしおまけに余所余所しかない fact18: 「このレガートは余所余所しかなくてそれに地方大学であるということはない」ということは本当でない fact19: 「あの定家流はＭＡＩＮ関数でないけれどそれは見苦しい」ということは間違っている fact20: 仮にあのアーモンドパウダーが掛かり難いとすればそのＭ・Ａ・Ｃは掛かり難くない fact21: 仮に「「御悪いしまた地方大学である」ということは偽な」ものがあるならばあの定家流は余所余所しかない fact22: この層状構造は見苦しい
void -> assump1: 以下のように仮定する。あのアーモンドパウダーは照射である; fact3 & assump1 -> int1: この層状構造は掛かり難い; fact13 & fact6 -> int2: この層状構造は掛かり難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのアーモンドパウダーは照射でない; int4 & fact2 -> int5: 「このレガートは御悪いし更に地方大学である」ということは成り立たない; int5 -> int6: 「「御悪くてそれに地方大学だ」ということは誤りな」物はある; int6 & fact21 -> int7: あの定家流は余所余所しいということはない; fact11 -> int8: もしあの定家流は余所余所しかないならば「それは一念発起しなくて加えて見苦しくない」ということは成り立つということはない; int7 & int8 -> hypothesis;
そのＭ・Ａ・Ｃは御悪い
fact24 -> int9: そのＭ・Ａ・Ｃが掛かり難くないとしたら照射だしかつ御悪い; fact26 & fact23 -> int10: この層状構造は一念発起しないしおまけに余所余所しかない; int10 -> int11: 「一念発起しなくて更に余所余所しかない」ものはある;
$facts$ = fact1: もしもなにがしかの物が照射であるということはないとしたらこの層状構造は掛かり難くない fact2: あのアーモンドパウダーは照射だということはないなら「このレガートは御悪いし加えてそれは地方大学である」ということは成り立たない fact3: もし仮に「あのアーモンドパウダーは照射でない」ということは成り立たないとすればこの層状構造は掛かり難い fact4: このレガートは逆掲揚しない fact5: 仮になにがしかのものが照射だということはないとしたら一念発起しなくておまけに見苦しくない fact6: 「この層状構造は防戦するし更にＭＡＩＮ関数だ」ということは成り立たない fact7: 「このレガートは余所余所しかないし地方大学でない」ということは事実と異なるとすると余所余所しい fact8: 掛かり難いということはない物は照射だし御悪い fact9: 「「このレガートはＭＡＩＮ関数だしおまけに御悪い」ということは事実である」ということは誤っている fact10: もし「あのアーモンドパウダーは掛かり難いということはないか照射でないかもしくは両方ともだ」ということは事実と異なれば「あの定家流は照射でない」ということは本当である fact11: 何かは余所余所しかないなら「それは一念発起しなくてしかもそれは見苦しいということはない」ということは嘘だ fact12: あのアーモンドパウダーはＭＡＩＮ関数でない fact13: もし「この層状構造が防戦するしその上ＭＡＩＮ関数だ」ということは成り立つということはないならば「それは掛かり難いということはない」ということは事実である fact14: 「「決め込むし加えて摘出する」ということは間違っている」物はある fact15: 仮にこの層状構造は防戦しないならば「照射でなくてまたそれは見苦しい」ということは事実と異なる fact16: 「あの定家流は一念発起しないけれどそれは見苦しい」ということは間違っている fact17: もし仮にこの層状構造が見苦しいとするとそれは一念発起するということはないしおまけに余所余所しかない fact18: 「このレガートは余所余所しかなくてそれに地方大学であるということはない」ということは本当でない fact19: 「あの定家流はＭＡＩＮ関数でないけれどそれは見苦しい」ということは間違っている fact20: 仮にあのアーモンドパウダーが掛かり難いとすればそのＭ・Ａ・Ｃは掛かり難くない fact21: 仮に「「御悪いしまた地方大学である」ということは偽な」ものがあるならばあの定家流は余所余所しかない fact22: この層状構造は見苦しい ; $hypothesis$ = あの定家流が一念発起しないしさらに見苦しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアーモンドパウダーは照射である; fact3 & assump1 -> int1: この層状構造は掛かり難い; fact13 & fact6 -> int2: この層状構造は掛かり難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのアーモンドパウダーは照射でない; int4 & fact2 -> int5: 「このレガートは御悪いし更に地方大学である」ということは成り立たない; int5 -> int6: 「「御悪くてそれに地方大学だ」ということは誤りな」物はある; int6 & fact21 -> int7: あの定家流は余所余所しいということはない; fact11 -> int8: もしあの定家流は余所余所しかないならば「それは一念発起しなくて加えて見苦しくない」ということは成り立つということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が照射であるということはないとしたらこの層状構造は掛かり難くない
事実2: あのアーモンドパウダーは照射だということはないなら「このレガートは御悪いし加えてそれは地方大学である」ということは成り立たない
事実3: もし仮に「あのアーモンドパウダーは照射でない」ということは成り立たないとすればこの層状構造は掛かり難い
事実4: このレガートは逆掲揚しない
事実5: 仮になにがしかのものが照射だということはないとしたら一念発起しなくておまけに見苦しくない
事実6: 「この層状構造は防戦するし更にＭＡＩＮ関数だ」ということは成り立たない
事実7: 「このレガートは余所余所しかないし地方大学でない」ということは事実と異なるとすると余所余所しい
事実8: 掛かり難いということはない物は照射だし御悪い
事実9: 「「このレガートはＭＡＩＮ関数だしおまけに御悪い」ということは事実である」ということは誤っている
事実10: もし「あのアーモンドパウダーは掛かり難いということはないか照射でないかもしくは両方ともだ」ということは事実と異なれば「あの定家流は照射でない」ということは本当である
事実11: 何かは余所余所しかないなら「それは一念発起しなくてしかもそれは見苦しいということはない」ということは嘘だ
事実12: あのアーモンドパウダーはＭＡＩＮ関数でない
事実13: もし「この層状構造が防戦するしその上ＭＡＩＮ関数だ」ということは成り立つということはないならば「それは掛かり難いということはない」ということは事実である
事実14: 「「決め込むし加えて摘出する」ということは間違っている」物はある
事実15: 仮にこの層状構造は防戦しないならば「照射でなくてまたそれは見苦しい」ということは事実と異なる
事実16: 「あの定家流は一念発起しないけれどそれは見苦しい」ということは間違っている
事実17: もし仮にこの層状構造が見苦しいとするとそれは一念発起するということはないしおまけに余所余所しかない
事実18: 「このレガートは余所余所しかなくてそれに地方大学であるということはない」ということは本当でない
事実19: 「あの定家流はＭＡＩＮ関数でないけれどそれは見苦しい」ということは間違っている
事実20: 仮にあのアーモンドパウダーが掛かり難いとすればそのＭ・Ａ・Ｃは掛かり難くない
事実21: 仮に「「御悪いしまた地方大学である」ということは偽な」ものがあるならばあの定家流は余所余所しかない
事実22: この層状構造は見苦しい

仮説: あの定家流が一念発起しないしさらに見苦しくない
1. 仮定1: 以下のように仮定する。あのアーモンドパウダーは照射である
2. 事実3と仮定1から、推論1: "この層状構造は掛かり難い"が導かれる
3. 事実13と事実6から、推論2: "この層状構造は掛かり難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのアーモンドパウダーは照射でない"が導かれる
6. 推論4と事実2から、推論5: "「このレガートは御悪いし更に地方大学である」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「御悪くてそれに地方大学だ」ということは誤りな」物はある"が導かれる
8. 推論6と事実21から、推論7: "あの定家流は余所余所しいということはない"が導かれる
9. 事実11から、推論8: "もしあの定家流は余所余所しかないならば「それは一念発起しなくて加えて見苦しくない」ということは成り立つということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。