あのポンプは甚だしいけど止む無くない
fact1: その高記録はおどろおどろしいということはない fact2: もしとあるものが利用され易くないなら甚だしいけれど止む無くない fact3: あのポンプが甚だしいけれどそれが止む無しということはないとすればそれは指し示すということはない fact4: もしも「なにかは甚だしくないがしかしそれは利用され易い」ということは成り立つということはないとしたら甚だしい fact5: もしこの自力聖道が利用され易くないし更に指し示さないとすればあのポンプは利用され易くない fact6: あのポンプは止む無くない fact7: おどろおどろしくない物は社会的規範であるし更に研ぐ fact8: もしもこの基調ピクセルが社会的規範だとしたらこの自力聖道は利用され易くないし更にそれは指し示すということはない fact9: もしこの自力聖道が指し示すとしたらあのポンプは指し示す fact10: もし仮にこの自力聖道が社会的規範であるとしたらあのポンプは指し示す fact11: この自力聖道は指し示すかもしくは社会的規範であるか両方である
void -> assump1: 以下のように仮定する。あのポンプは甚だしいけれどそれは止む無くない; fact3 & assump1 -> int1: あのポンプは指し示さない; fact11 & fact10 & fact9 -> int2: あのポンプは指し示す; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この市街地形成は拒むかあるいは甚だしいかもしくは両方ともだ
fact12 -> int4: もしも「この市街地形成は甚だしくないけど利用され易い」ということは成り立たないとすれば「それは甚だしい」ということは事実である;
$facts$ = fact1: その高記録はおどろおどろしいということはない fact2: もしとあるものが利用され易くないなら甚だしいけれど止む無くない fact3: あのポンプが甚だしいけれどそれが止む無しということはないとすればそれは指し示すということはない fact4: もしも「なにかは甚だしくないがしかしそれは利用され易い」ということは成り立つということはないとしたら甚だしい fact5: もしこの自力聖道が利用され易くないし更に指し示さないとすればあのポンプは利用され易くない fact6: あのポンプは止む無くない fact7: おどろおどろしくない物は社会的規範であるし更に研ぐ fact8: もしもこの基調ピクセルが社会的規範だとしたらこの自力聖道は利用され易くないし更にそれは指し示すということはない fact9: もしこの自力聖道が指し示すとしたらあのポンプは指し示す fact10: もし仮にこの自力聖道が社会的規範であるとしたらあのポンプは指し示す fact11: この自力聖道は指し示すかもしくは社会的規範であるか両方である ; $hypothesis$ = あのポンプは甚だしいけど止む無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのポンプは甚だしいけれどそれは止む無くない; fact3 & assump1 -> int1: あのポンプは指し示さない; fact11 & fact10 & fact9 -> int2: あのポンプは指し示す; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その高記録はおどろおどろしいということはない
事実2: もしとあるものが利用され易くないなら甚だしいけれど止む無くない
事実3: あのポンプが甚だしいけれどそれが止む無しということはないとすればそれは指し示すということはない
事実4: もしも「なにかは甚だしくないがしかしそれは利用され易い」ということは成り立つということはないとしたら甚だしい
事実5: もしこの自力聖道が利用され易くないし更に指し示さないとすればあのポンプは利用され易くない
事実6: あのポンプは止む無くない
事実7: おどろおどろしくない物は社会的規範であるし更に研ぐ
事実8: もしもこの基調ピクセルが社会的規範だとしたらこの自力聖道は利用され易くないし更にそれは指し示すということはない
事実9: もしこの自力聖道が指し示すとしたらあのポンプは指し示す
事実10: もし仮にこの自力聖道が社会的規範であるとしたらあのポンプは指し示す
事実11: この自力聖道は指し示すかもしくは社会的規範であるか両方である

仮説: あのポンプは甚だしいけど止む無くない
1. 仮定1: 以下のように仮定する。あのポンプは甚だしいけれどそれは止む無くない
2. 事実3と仮定1から、推論1: "あのポンプは指し示さない"が導かれる
3. 事実11と事実10と事実9から、推論2: "あのポンプは指し示す"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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