「もしその塗り潰し効果が支配するとしたらこの発生防止は連れ歩かない」ということは間違っている
fact1: この発生防止は低しということはない fact2: もしその新選組慰霊碑が恒常性維持でないけど低しとしたらこの発生防止は連れ歩かない fact3: もし仮に「連れ歩くということはない」ものがあるとすればその新選組慰霊碑は選択データである fact4: もしも「凭せらないかあるいはＩ医師であるか両方な」ものがあるとするとその塗り潰し効果は生じ易い fact5: もしなにかは加担するとしたらそれは少なくなくてそれに選択データでない fact6: 生じ易くない物はある fact7: 「格好悪くない」物はある fact8: あの理想型は凭せらないかもしくは加担する fact9: あの理想型は生じ易いしそれは幻曲馬団である fact10: あの理想型は凭せらないかそれはＩ医師であるかもしくは両方である fact11: もしも何らかのものが格好悪いということはないとすればその新選組慰霊碑は加担する fact12: その塗り潰し効果が生じ易いし更に支配するとするとその新選組慰霊碑は恒常性維持でない fact13: もし仮にその新選組慰霊碑が加担するなら選択データでない fact14: あの理想型は支配しない fact15: 仮に少なくないものは選択データでないとしたらそれは低し fact16: 仮にあの理想型は凭せらないがしかし支配するとしたら連れ歩く
fact10 -> int1: なんらかの物は凭せらないかまたはそれはＩ医師であるかもしくは両方ともだ; int1 & fact4 -> int2: その塗り潰し効果は生じ易い; void -> assump1: 以下のように仮定する。その塗り潰し効果は支配する; int2 & assump1 -> int3: その塗り潰し効果は生じ易くて支配する; int3 & fact12 -> int4: その新選組慰霊碑は恒常性維持だということはない; fact15 -> int5: もしもその新選組慰霊碑は少なくないし選択データでないならば低し; fact11 & fact7 -> int6: 「その新選組慰霊碑は加担する」ということは成り立つ; fact5 -> int7: その新選組慰霊碑は加担するとしたら「少なくないし選択データでない」ということは誤っていない; int6 & int7 -> int8: その新選組慰霊碑は少なくないしおまけにそれは選択データでない; int5 & int8 -> int9: その新選組慰霊碑は低し; int4 & int9 -> int10: その新選組慰霊碑は恒常性維持でないけれどそれは低し; int10 & fact2 -> int11: 「この発生防止は連れ歩かない」ということは確かだ; [assump1] & int11 -> hypothesis;
$facts$ = fact1: この発生防止は低しということはない fact2: もしその新選組慰霊碑が恒常性維持でないけど低しとしたらこの発生防止は連れ歩かない fact3: もし仮に「連れ歩くということはない」ものがあるとすればその新選組慰霊碑は選択データである fact4: もしも「凭せらないかあるいはＩ医師であるか両方な」ものがあるとするとその塗り潰し効果は生じ易い fact5: もしなにかは加担するとしたらそれは少なくなくてそれに選択データでない fact6: 生じ易くない物はある fact7: 「格好悪くない」物はある fact8: あの理想型は凭せらないかもしくは加担する fact9: あの理想型は生じ易いしそれは幻曲馬団である fact10: あの理想型は凭せらないかそれはＩ医師であるかもしくは両方である fact11: もしも何らかのものが格好悪いということはないとすればその新選組慰霊碑は加担する fact12: その塗り潰し効果が生じ易いし更に支配するとするとその新選組慰霊碑は恒常性維持でない fact13: もし仮にその新選組慰霊碑が加担するなら選択データでない fact14: あの理想型は支配しない fact15: 仮に少なくないものは選択データでないとしたらそれは低し fact16: 仮にあの理想型は凭せらないがしかし支配するとしたら連れ歩く ; $hypothesis$ = 「もしその塗り潰し効果が支配するとしたらこの発生防止は連れ歩かない」ということは間違っている ; $proof$ = 
fact10 -> int1: なんらかの物は凭せらないかまたはそれはＩ医師であるかもしくは両方ともだ; int1 & fact4 -> int2: その塗り潰し効果は生じ易い; void -> assump1: 以下のように仮定する。その塗り潰し効果は支配する; int2 & assump1 -> int3: その塗り潰し効果は生じ易くて支配する; int3 & fact12 -> int4: その新選組慰霊碑は恒常性維持だということはない; fact15 -> int5: もしもその新選組慰霊碑は少なくないし選択データでないならば低し; fact11 & fact7 -> int6: 「その新選組慰霊碑は加担する」ということは成り立つ; fact5 -> int7: その新選組慰霊碑は加担するとしたら「少なくないし選択データでない」ということは誤っていない; int6 & int7 -> int8: その新選組慰霊碑は少なくないしおまけにそれは選択データでない; int5 & int8 -> int9: その新選組慰霊碑は低し; int4 & int9 -> int10: その新選組慰霊碑は恒常性維持でないけれどそれは低し; int10 & fact2 -> int11: 「この発生防止は連れ歩かない」ということは確かだ; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: この発生防止は低しということはない
事実2: もしその新選組慰霊碑が恒常性維持でないけど低しとしたらこの発生防止は連れ歩かない
事実3: もし仮に「連れ歩くということはない」ものがあるとすればその新選組慰霊碑は選択データである
事実4: もしも「凭せらないかあるいはＩ医師であるか両方な」ものがあるとするとその塗り潰し効果は生じ易い
事実5: もしなにかは加担するとしたらそれは少なくなくてそれに選択データでない
事実6: 生じ易くない物はある
事実7: 「格好悪くない」物はある
事実8: あの理想型は凭せらないかもしくは加担する
事実9: あの理想型は生じ易いしそれは幻曲馬団である
事実10: あの理想型は凭せらないかそれはＩ医師であるかもしくは両方である
事実11: もしも何らかのものが格好悪いということはないとすればその新選組慰霊碑は加担する
事実12: その塗り潰し効果が生じ易いし更に支配するとするとその新選組慰霊碑は恒常性維持でない
事実13: もし仮にその新選組慰霊碑が加担するなら選択データでない
事実14: あの理想型は支配しない
事実15: 仮に少なくないものは選択データでないとしたらそれは低し
事実16: 仮にあの理想型は凭せらないがしかし支配するとしたら連れ歩く

仮説: 「もしその塗り潰し効果が支配するとしたらこの発生防止は連れ歩かない」ということは間違っている
1. 事実10から、推論1: "なんらかの物は凭せらないかまたはそれはＩ医師であるかもしくは両方ともだ"が導かれる
2. 推論1と事実4から、推論2: "その塗り潰し効果は生じ易い"が導かれる
3. 仮定1: 以下のように仮定する。その塗り潰し効果は支配する
4. 推論2と仮定1から、推論3: "その塗り潰し効果は生じ易くて支配する"が導かれる
5. 推論3と事実12から、推論4: "その新選組慰霊碑は恒常性維持だということはない"が導かれる
6. 事実15から、推論5: "もしもその新選組慰霊碑は少なくないし選択データでないならば低し"が導かれる
7. 事実11と事実7から、推論6: "「その新選組慰霊碑は加担する」ということは成り立つ"が導かれる
8. 事実5から、推論7: "その新選組慰霊碑は加担するとしたら「少なくないし選択データでない」ということは誤っていない"が導かれる
9. 推論6と推論7から、推論8: "その新選組慰霊碑は少なくないしおまけにそれは選択データでない"が導かれる
10. 推論5と推論8から、推論9: "その新選組慰霊碑は低し"が導かれる
11. 推論4と推論9から、推論10: "その新選組慰霊碑は恒常性維持でないけれどそれは低し"が導かれる
12. 推論10と事実2から、推論11: "「この発生防止は連れ歩かない」ということは確かだ"が導かれる
13. [仮定1]と推論11から、仮説が否定される

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