あのブリッツディフェンスは触れ回らない
fact1: もしこの世界内存在が緊張し切るとするとあのブリッツディフェンスは触れ回らない fact2: もし仮になんらかのものは考え易くないなら「緊張し切るということはなくて更に化かさない」ということは誤りだ fact3: 仮にあの初段が殴り掛かるがしかしそれが月猫でないならばこの世界内存在はＡ商事である fact4: 「あの初段は強制するしかつ考え易い」ということは成り立たない fact5: もし仮に「「度し難い」ということは正しい」物があるならこの世界内存在は緊張し切らない fact6: 「「カトリシズムでないし度し難くない」ということは成り立たない」物はある fact7: あの初段が煩わしいとしたらその最高出力はＡ商事である fact8: 「あの初段は強制するけれど考え易くない」ということは誤りであるならば願い続ける fact9: 仮にあの初段は化かすとしたら「それは強制するし考え易くない」ということは事実でない fact10: もし仮にこの世界内存在は緊張し切るということはないなら「あの初段は化かす」ということは事実である fact11: あの初段が考え易いとするとそれは願い続ける fact12: もしもこの世界内存在はＡ商事であるならそれは煩わしい fact13: もし仮に「「カトリシズムでないしおまけに度し難くない」ということは成り立たない」ものがあるとしたらこの世界内存在は緊張し切らない fact14: 「あの独居老人は密集するがしかし娘らしくない」ということは誤りである fact15: 「「カトリシズムでない一方で度し難い」ということは真実でない」ものはある fact16: もし仮に「とある物は強制しないかあるいは願い続けないかまたは両方である」ということは成り立たないとするとそれは考え易くない fact17: 仮に「あの初段は願い続ける」ということは正しいとすると「煩わしい」ということは確かである fact18: 「「カトリシズムだしまた度し難くない」ということは誤りな」ものはある fact19: もし仮に「なにがしかのものは緊張し切らなくてかつ化かすということはない」ということは成り立たないとすればそれは緊張し切る fact20: 仮に「その最高出力はＡ商事だ」ということは事実ならあのブリッツディフェンスは触れ回る
fact6 & fact13 -> int1: この世界内存在は緊張し切らない; int1 & fact10 -> int2: あの初段は化かす; int2 & fact9 -> int3: 「あの初段は強制する一方で考え易くない」ということは誤っている; int3 & fact8 -> int4: 「あの初段は願い続ける」ということは確かである; int4 & fact17 -> int5: あの初段は煩わしい; int5 & fact7 -> int6: その最高出力はＡ商事である; int6 & fact20 -> hypothesis;
あのブリッツディフェンスは触れ回らない
fact22 -> int7: 「この世界内存在は緊張し切らないしかつそれは化かさない」ということは嘘ならそれは緊張し切る; fact26 -> int8: もし仮にこの世界内存在は考え易くないとしたら「それは緊張し切らなくてかつそれは化かすということはない」ということは偽だ; fact23 -> int9: 仮に「この世界内存在は強制しないか願い続けないか両方である」ということは間違っているならそれは考え易くない;
$facts$ = fact1: もしこの世界内存在が緊張し切るとするとあのブリッツディフェンスは触れ回らない fact2: もし仮になんらかのものは考え易くないなら「緊張し切るということはなくて更に化かさない」ということは誤りだ fact3: 仮にあの初段が殴り掛かるがしかしそれが月猫でないならばこの世界内存在はＡ商事である fact4: 「あの初段は強制するしかつ考え易い」ということは成り立たない fact5: もし仮に「「度し難い」ということは正しい」物があるならこの世界内存在は緊張し切らない fact6: 「「カトリシズムでないし度し難くない」ということは成り立たない」物はある fact7: あの初段が煩わしいとしたらその最高出力はＡ商事である fact8: 「あの初段は強制するけれど考え易くない」ということは誤りであるならば願い続ける fact9: 仮にあの初段は化かすとしたら「それは強制するし考え易くない」ということは事実でない fact10: もし仮にこの世界内存在は緊張し切るということはないなら「あの初段は化かす」ということは事実である fact11: あの初段が考え易いとするとそれは願い続ける fact12: もしもこの世界内存在はＡ商事であるならそれは煩わしい fact13: もし仮に「「カトリシズムでないしおまけに度し難くない」ということは成り立たない」ものがあるとしたらこの世界内存在は緊張し切らない fact14: 「あの独居老人は密集するがしかし娘らしくない」ということは誤りである fact15: 「「カトリシズムでない一方で度し難い」ということは真実でない」ものはある fact16: もし仮に「とある物は強制しないかあるいは願い続けないかまたは両方である」ということは成り立たないとするとそれは考え易くない fact17: 仮に「あの初段は願い続ける」ということは正しいとすると「煩わしい」ということは確かである fact18: 「「カトリシズムだしまた度し難くない」ということは誤りな」ものはある fact19: もし仮に「なにがしかのものは緊張し切らなくてかつ化かすということはない」ということは成り立たないとすればそれは緊張し切る fact20: 仮に「その最高出力はＡ商事だ」ということは事実ならあのブリッツディフェンスは触れ回る ; $hypothesis$ = あのブリッツディフェンスは触れ回らない ; $proof$ = 
fact6 & fact13 -> int1: この世界内存在は緊張し切らない; int1 & fact10 -> int2: あの初段は化かす; int2 & fact9 -> int3: 「あの初段は強制する一方で考え易くない」ということは誤っている; int3 & fact8 -> int4: 「あの初段は願い続ける」ということは確かである; int4 & fact17 -> int5: あの初段は煩わしい; int5 & fact7 -> int6: その最高出力はＡ商事である; int6 & fact20 -> hypothesis; __DISPROVED__
事実1: もしこの世界内存在が緊張し切るとするとあのブリッツディフェンスは触れ回らない
事実2: もし仮になんらかのものは考え易くないなら「緊張し切るということはなくて更に化かさない」ということは誤りだ
事実3: 仮にあの初段が殴り掛かるがしかしそれが月猫でないならばこの世界内存在はＡ商事である
事実4: 「あの初段は強制するしかつ考え易い」ということは成り立たない
事実5: もし仮に「「度し難い」ということは正しい」物があるならこの世界内存在は緊張し切らない
事実6: 「「カトリシズムでないし度し難くない」ということは成り立たない」物はある
事実7: あの初段が煩わしいとしたらその最高出力はＡ商事である
事実8: 「あの初段は強制するけれど考え易くない」ということは誤りであるならば願い続ける
事実9: 仮にあの初段は化かすとしたら「それは強制するし考え易くない」ということは事実でない
事実10: もし仮にこの世界内存在は緊張し切るということはないなら「あの初段は化かす」ということは事実である
事実11: あの初段が考え易いとするとそれは願い続ける
事実12: もしもこの世界内存在はＡ商事であるならそれは煩わしい
事実13: もし仮に「「カトリシズムでないしおまけに度し難くない」ということは成り立たない」ものがあるとしたらこの世界内存在は緊張し切らない
事実14: 「あの独居老人は密集するがしかし娘らしくない」ということは誤りである
事実15: 「「カトリシズムでない一方で度し難い」ということは真実でない」ものはある
事実16: もし仮に「とある物は強制しないかあるいは願い続けないかまたは両方である」ということは成り立たないとするとそれは考え易くない
事実17: 仮に「あの初段は願い続ける」ということは正しいとすると「煩わしい」ということは確かである
事実18: 「「カトリシズムだしまた度し難くない」ということは誤りな」ものはある
事実19: もし仮に「なにがしかのものは緊張し切らなくてかつ化かすということはない」ということは成り立たないとすればそれは緊張し切る
事実20: 仮に「その最高出力はＡ商事だ」ということは事実ならあのブリッツディフェンスは触れ回る

仮説: あのブリッツディフェンスは触れ回らない
1. 事実6と事実13から、推論1: "この世界内存在は緊張し切らない"が導かれる
2. 推論1と事実10から、推論2: "あの初段は化かす"が導かれる
3. 推論2と事実9から、推論3: "「あの初段は強制する一方で考え易くない」ということは誤っている"が導かれる
4. 推論3と事実8から、推論4: "「あの初段は願い続ける」ということは確かである"が導かれる
5. 推論4と事実17から、推論5: "あの初段は煩わしい"が導かれる
6. 推論5と事実7から、推論6: "その最高出力はＡ商事である"が導かれる
7. 推論6と事実20から、仮説が否定される

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