「あの母様陛下は認識出来ないがしかしそれは止まれる」ということは間違いだ
fact1: もしもそのマイナス要因は止まれないなら「あの母様陛下は認識出来るということはないけれどそれは止まれる」ということは間違いである fact2: そのマイナス要因は来辛くない fact3: もしなにがしかの物は政治史でないなら「それは拭き切れないかあるいは来辛くないかあるいは両方ともである」ということは成り立つということはない fact4: 仮に「そのマイナス要因は止まれるということはないかあるいは来辛いということはないかどちらもである」ということは成り立たないならば「あのヘッドスピードは認識出来ない」ということは成り立つ fact5: もしもあのヘッドスピードは政治史であるとすればそれは引き易い fact6: あのヘッドスピードは引き易くない fact7: もし「あのヘッドスピードは拭き切れないかまたはそれは来辛くないかあるいは両方ともである」ということは間違いならばあのマイナス要因は止まれない fact8: 「この第一生命は認識出来ないが動き難い」ということは事実と異なる fact9: 「あの母様陛下は政治史だ」ということは成り立つ
void -> assump1: 以下のように仮定する。あのヘッドスピードは政治史だ; fact5 & assump1 -> int1: あのヘッドスピードは引き易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのヘッドスピードは政治史でない; fact3 -> int4: もしもあのヘッドスピードは政治史でないとすれば「それは拭き切れるということはないかそれは来辛くない」ということは嘘だ; int3 & int4 -> int5: 「あのヘッドスピードは拭き切れないかあるいは来辛くないかあるいは両方である」ということは誤っている; int5 & fact7 -> int6: そのマイナス要因は止まれない; int6 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのマイナス要因は止まれないなら「あの母様陛下は認識出来るということはないけれどそれは止まれる」ということは間違いである fact2: そのマイナス要因は来辛くない fact3: もしなにがしかの物は政治史でないなら「それは拭き切れないかあるいは来辛くないかあるいは両方ともである」ということは成り立つということはない fact4: 仮に「そのマイナス要因は止まれるということはないかあるいは来辛いということはないかどちらもである」ということは成り立たないならば「あのヘッドスピードは認識出来ない」ということは成り立つ fact5: もしもあのヘッドスピードは政治史であるとすればそれは引き易い fact6: あのヘッドスピードは引き易くない fact7: もし「あのヘッドスピードは拭き切れないかまたはそれは来辛くないかあるいは両方ともである」ということは間違いならばあのマイナス要因は止まれない fact8: 「この第一生命は認識出来ないが動き難い」ということは事実と異なる fact9: 「あの母様陛下は政治史だ」ということは成り立つ ; $hypothesis$ = 「あの母様陛下は認識出来ないがしかしそれは止まれる」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのヘッドスピードは政治史だ; fact5 & assump1 -> int1: あのヘッドスピードは引き易い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのヘッドスピードは政治史でない; fact3 -> int4: もしもあのヘッドスピードは政治史でないとすれば「それは拭き切れるということはないかそれは来辛くない」ということは嘘だ; int3 & int4 -> int5: 「あのヘッドスピードは拭き切れないかあるいは来辛くないかあるいは両方である」ということは誤っている; int5 & fact7 -> int6: そのマイナス要因は止まれない; int6 & fact1 -> hypothesis; __PROVED__
事実1: もしもそのマイナス要因は止まれないなら「あの母様陛下は認識出来るということはないけれどそれは止まれる」ということは間違いである
事実2: そのマイナス要因は来辛くない
事実3: もしなにがしかの物は政治史でないなら「それは拭き切れないかあるいは来辛くないかあるいは両方ともである」ということは成り立つということはない
事実4: 仮に「そのマイナス要因は止まれるということはないかあるいは来辛いということはないかどちらもである」ということは成り立たないならば「あのヘッドスピードは認識出来ない」ということは成り立つ
事実5: もしもあのヘッドスピードは政治史であるとすればそれは引き易い
事実6: あのヘッドスピードは引き易くない
事実7: もし「あのヘッドスピードは拭き切れないかまたはそれは来辛くないかあるいは両方ともである」ということは間違いならばあのマイナス要因は止まれない
事実8: 「この第一生命は認識出来ないが動き難い」ということは事実と異なる
事実9: 「あの母様陛下は政治史だ」ということは成り立つ

仮説: 「あの母様陛下は認識出来ないがしかしそれは止まれる」ということは間違いだ
1. 仮定1: 以下のように仮定する。あのヘッドスピードは政治史だ
2. 事実5と仮定1から、推論1: "あのヘッドスピードは引き易い"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのヘッドスピードは政治史でない"が導かれる
5. 事実3から、推論4: "もしもあのヘッドスピードは政治史でないとすれば「それは拭き切れるということはないかそれは来辛くない」ということは嘘だ"が導かれる
6. 推論3と推論4から、推論5: "「あのヘッドスピードは拭き切れないかあるいは来辛くないかあるいは両方である」ということは誤っている"が導かれる
7. 推論5と事実7から、推論6: "そのマイナス要因は止まれない"が導かれる
8. 推論6と事実1から、仮説が導かれる

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