あの政治的往来は這い這いだ
fact1: 「あの政治的往来は御楽しみ頂けない」ということは間違っていない fact2: もしあの政治的往来は御楽しみ頂けないならば「それは取り直さない一方で多い」ということは偽だ fact3: 仮に「何らかのものは取り直さないけれどそれは多い」ということは誤りならそれは這い這いでない fact4: もし「何らかの物は近い一方で御楽しみ頂けない」ということは誤りだとしたら「それは這い這いだ」ということは事実だ fact5: 仮に「なにがしかのものはえぐくない一方でそれは静まり返る」ということは事実と異なるとすればそれはにやけない fact6: 「このＨＥＭＴは御楽しみ頂けない」ということは間違っていない
fact2 & fact1 -> int1: 「あの政治的往来は取り直さないがしかし多い」ということは事実と異なる; fact3 -> int2: もし仮に「あの政治的往来は取り直さないけれど多い」ということは成り立たないとすれば這い這いでない; int1 & int2 -> hypothesis;
もし仮に「あの政治的往来はえぐくないが静まり返る」ということは間違いであるとすれば「にやけない」ということは成り立つ
fact7 -> hypothesis;
$facts$ = fact1: 「あの政治的往来は御楽しみ頂けない」ということは間違っていない fact2: もしあの政治的往来は御楽しみ頂けないならば「それは取り直さない一方で多い」ということは偽だ fact3: 仮に「何らかのものは取り直さないけれどそれは多い」ということは誤りならそれは這い這いでない fact4: もし「何らかの物は近い一方で御楽しみ頂けない」ということは誤りだとしたら「それは這い這いだ」ということは事実だ fact5: 仮に「なにがしかのものはえぐくない一方でそれは静まり返る」ということは事実と異なるとすればそれはにやけない fact6: 「このＨＥＭＴは御楽しみ頂けない」ということは間違っていない ; $hypothesis$ = あの政治的往来は這い這いだ ; $proof$ = 
fact2 & fact1 -> int1: 「あの政治的往来は取り直さないがしかし多い」ということは事実と異なる; fact3 -> int2: もし仮に「あの政治的往来は取り直さないけれど多い」ということは成り立たないとすれば這い這いでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「あの政治的往来は御楽しみ頂けない」ということは間違っていない
事実2: もしあの政治的往来は御楽しみ頂けないならば「それは取り直さない一方で多い」ということは偽だ
事実3: 仮に「何らかのものは取り直さないけれどそれは多い」ということは誤りならそれは這い這いでない
事実4: もし「何らかの物は近い一方で御楽しみ頂けない」ということは誤りだとしたら「それは這い這いだ」ということは事実だ
事実5: 仮に「なにがしかのものはえぐくない一方でそれは静まり返る」ということは事実と異なるとすればそれはにやけない
事実6: 「このＨＥＭＴは御楽しみ頂けない」ということは間違っていない

仮説: あの政治的往来は這い這いだ
1. 事実2と事実1から、推論1: "「あの政治的往来は取り直さないがしかし多い」ということは事実と異なる"が導かれる
2. 事実3から、推論2: "もし仮に「あの政治的往来は取り直さないけれど多い」ということは成り立たないとすれば這い這いでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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