「あのサブジェクト＿ＩＤは痛み易いということはない」ということは成り立つ
fact1: 「その電撃戦は掘り返すしそれは排泄物だ」ということは嘘だ fact2: その衰亡は所でない fact3: 毒々しい物は所でない fact4: もし「何らかの物は毒々しいということはないけど掘り返す」ということは本当でないなら「所でない」ということは成り立つ fact5: 「「その電撃戦はＡ＆Ｇであるけれど排泄物だということはない」ということは成り立つ」ということは間違いである fact6: 仮にあのサブジェクト＿ＩＤがＡ＆Ｇでないとすればその電撃戦は痛み易いということはない fact7: 「その電撃戦は情報システム安全対策基準であるしまた所である」ということは誤りである fact8: 「その電撃戦は毒々しくて加えてＡ＆Ｇである」ということは偽である fact9: もしもこのブルジョワ連合は所でないならば「あの例外者的情動は受け入れられ易いし所だ」ということは事実と異なる fact10: もし仮に「その電撃戦は排泄物であるけれど受け入れられ易くない」ということは間違っているとしたら排泄物でない fact11: もしもあのサブジェクト＿ＩＤが所でないとしたらこのブルジョワ連合は痛み易くない fact12: このブルジョワ連合は痛み易くない fact13: もし仮に「あの例外者的情動は排泄物であるけどそれは受け入れられ易くない」ということは真実でないとすると排泄物でない fact14: このブルジョワ連合は白々しかない fact15: 「あの例外者的情動はっ早いし受け易い」ということは間違いならそれは受け易いということはない fact16: もしも「その電撃戦はＡ＆Ｇだけれど排泄物でない」ということは間違っているとするとＡ＆Ｇでない fact17: もし仮にこのブルジョワ連合が毒々しいということはない一方で掘り返すとするとその電撃戦はＡ＆Ｇである fact18: あの面倒見は毒々しい fact19: もし仮にとある物は所であるということはないとすると「それはきもくないしそれは掘り返す」ということは成り立たない fact20: もしもこのブルジョワ連合がＡ＆Ｇでないしまた所でないならばあのサブジェクト＿ＩＤは痛み易い fact21: もし仮に「あの条件付けは所であるがしかし痛み易くない」ということは成り立たないならそれは所でない fact22: 「その電撃戦は排泄物であるしそれは毒々しい」ということは嘘である fact23: 「このブルジョワ連合が所だし受け入れられ易い」ということは成り立たない fact24: もし仮に「あの例外者的情動は受け入れられ易くてさらに所である」ということは誤っているとしたら「あのサブジェクト＿ＩＤは痛み易くない」ということは事実である fact25: もし仮にこのブルジョワ連合は所でないなら「その電撃戦は排泄物であるし所である」ということは間違いである fact26: もし「とあるものは排泄物だということはないけど所である」ということは偽ならそれは掘り返さない
void -> assump1: 以下のように仮定する。このブルジョワ連合は毒々しかないけれど掘り返す; fact17 & assump1 -> int1: その電撃戦はＡ＆Ｇである; fact5 & fact16 -> int2: その電撃戦はＡ＆Ｇでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このブルジョワ連合は毒々しかないがしかし掘り返す」ということは本当だということはない; fact4 -> int5: 「このブルジョワ連合は毒々しかないけれど掘り返す」ということは事実と異なるとしたら「それは所でない」ということは成り立つ; int4 & int5 -> int6: このブルジョワ連合は所でない; int6 & fact9 -> int7: 「あの例外者的情動は受け入れられ易いしおまけにそれは所だ」ということは偽である; int7 & fact24 -> hypothesis;
「あの条件付けはきもくないけれど掘り返す」ということは間違っている
fact28 -> int8: 仮にあの条件付けは所でないとしたら「きもくないけれど掘り返す」ということは誤っている;
$facts$ = fact1: 「その電撃戦は掘り返すしそれは排泄物だ」ということは嘘だ fact2: その衰亡は所でない fact3: 毒々しい物は所でない fact4: もし「何らかの物は毒々しいということはないけど掘り返す」ということは本当でないなら「所でない」ということは成り立つ fact5: 「「その電撃戦はＡ＆Ｇであるけれど排泄物だということはない」ということは成り立つ」ということは間違いである fact6: 仮にあのサブジェクト＿ＩＤがＡ＆Ｇでないとすればその電撃戦は痛み易いということはない fact7: 「その電撃戦は情報システム安全対策基準であるしまた所である」ということは誤りである fact8: 「その電撃戦は毒々しくて加えてＡ＆Ｇである」ということは偽である fact9: もしもこのブルジョワ連合は所でないならば「あの例外者的情動は受け入れられ易いし所だ」ということは事実と異なる fact10: もし仮に「その電撃戦は排泄物であるけれど受け入れられ易くない」ということは間違っているとしたら排泄物でない fact11: もしもあのサブジェクト＿ＩＤが所でないとしたらこのブルジョワ連合は痛み易くない fact12: このブルジョワ連合は痛み易くない fact13: もし仮に「あの例外者的情動は排泄物であるけどそれは受け入れられ易くない」ということは真実でないとすると排泄物でない fact14: このブルジョワ連合は白々しかない fact15: 「あの例外者的情動はっ早いし受け易い」ということは間違いならそれは受け易いということはない fact16: もしも「その電撃戦はＡ＆Ｇだけれど排泄物でない」ということは間違っているとするとＡ＆Ｇでない fact17: もし仮にこのブルジョワ連合が毒々しいということはない一方で掘り返すとするとその電撃戦はＡ＆Ｇである fact18: あの面倒見は毒々しい fact19: もし仮にとある物は所であるということはないとすると「それはきもくないしそれは掘り返す」ということは成り立たない fact20: もしもこのブルジョワ連合がＡ＆Ｇでないしまた所でないならばあのサブジェクト＿ＩＤは痛み易い fact21: もし仮に「あの条件付けは所であるがしかし痛み易くない」ということは成り立たないならそれは所でない fact22: 「その電撃戦は排泄物であるしそれは毒々しい」ということは嘘である fact23: 「このブルジョワ連合が所だし受け入れられ易い」ということは成り立たない fact24: もし仮に「あの例外者的情動は受け入れられ易くてさらに所である」ということは誤っているとしたら「あのサブジェクト＿ＩＤは痛み易くない」ということは事実である fact25: もし仮にこのブルジョワ連合は所でないなら「その電撃戦は排泄物であるし所である」ということは間違いである fact26: もし「とあるものは排泄物だということはないけど所である」ということは偽ならそれは掘り返さない ; $hypothesis$ = 「あのサブジェクト＿ＩＤは痛み易いということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。このブルジョワ連合は毒々しかないけれど掘り返す; fact17 & assump1 -> int1: その電撃戦はＡ＆Ｇである; fact5 & fact16 -> int2: その電撃戦はＡ＆Ｇでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このブルジョワ連合は毒々しかないがしかし掘り返す」ということは本当だということはない; fact4 -> int5: 「このブルジョワ連合は毒々しかないけれど掘り返す」ということは事実と異なるとしたら「それは所でない」ということは成り立つ; int4 & int5 -> int6: このブルジョワ連合は所でない; int6 & fact9 -> int7: 「あの例外者的情動は受け入れられ易いしおまけにそれは所だ」ということは偽である; int7 & fact24 -> hypothesis; __PROVED__
事実1: 「その電撃戦は掘り返すしそれは排泄物だ」ということは嘘だ
事実2: その衰亡は所でない
事実3: 毒々しい物は所でない
事実4: もし「何らかの物は毒々しいということはないけど掘り返す」ということは本当でないなら「所でない」ということは成り立つ
事実5: 「「その電撃戦はＡ＆Ｇであるけれど排泄物だということはない」ということは成り立つ」ということは間違いである
事実6: 仮にあのサブジェクト＿ＩＤがＡ＆Ｇでないとすればその電撃戦は痛み易いということはない
事実7: 「その電撃戦は情報システム安全対策基準であるしまた所である」ということは誤りである
事実8: 「その電撃戦は毒々しくて加えてＡ＆Ｇである」ということは偽である
事実9: もしもこのブルジョワ連合は所でないならば「あの例外者的情動は受け入れられ易いし所だ」ということは事実と異なる
事実10: もし仮に「その電撃戦は排泄物であるけれど受け入れられ易くない」ということは間違っているとしたら排泄物でない
事実11: もしもあのサブジェクト＿ＩＤが所でないとしたらこのブルジョワ連合は痛み易くない
事実12: このブルジョワ連合は痛み易くない
事実13: もし仮に「あの例外者的情動は排泄物であるけどそれは受け入れられ易くない」ということは真実でないとすると排泄物でない
事実14: このブルジョワ連合は白々しかない
事実15: 「あの例外者的情動はっ早いし受け易い」ということは間違いならそれは受け易いということはない
事実16: もしも「その電撃戦はＡ＆Ｇだけれど排泄物でない」ということは間違っているとするとＡ＆Ｇでない
事実17: もし仮にこのブルジョワ連合が毒々しいということはない一方で掘り返すとするとその電撃戦はＡ＆Ｇである
事実18: あの面倒見は毒々しい
事実19: もし仮にとある物は所であるということはないとすると「それはきもくないしそれは掘り返す」ということは成り立たない
事実20: もしもこのブルジョワ連合がＡ＆Ｇでないしまた所でないならばあのサブジェクト＿ＩＤは痛み易い
事実21: もし仮に「あの条件付けは所であるがしかし痛み易くない」ということは成り立たないならそれは所でない
事実22: 「その電撃戦は排泄物であるしそれは毒々しい」ということは嘘である
事実23: 「このブルジョワ連合が所だし受け入れられ易い」ということは成り立たない
事実24: もし仮に「あの例外者的情動は受け入れられ易くてさらに所である」ということは誤っているとしたら「あのサブジェクト＿ＩＤは痛み易くない」ということは事実である
事実25: もし仮にこのブルジョワ連合は所でないなら「その電撃戦は排泄物であるし所である」ということは間違いである
事実26: もし「とあるものは排泄物だということはないけど所である」ということは偽ならそれは掘り返さない

仮説: 「あのサブジェクト＿ＩＤは痛み易いということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。このブルジョワ連合は毒々しかないけれど掘り返す
2. 事実17と仮定1から、推論1: "その電撃戦はＡ＆Ｇである"が導かれる
3. 事実5と事実16から、推論2: "その電撃戦はＡ＆Ｇでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このブルジョワ連合は毒々しかないがしかし掘り返す」ということは本当だということはない"が導かれる
6. 事実4から、推論5: "「このブルジョワ連合は毒々しかないけれど掘り返す」ということは事実と異なるとしたら「それは所でない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "このブルジョワ連合は所でない"が導かれる
8. 推論6と事実9から、推論7: "「あの例外者的情動は受け入れられ易いしおまけにそれは所だ」ということは偽である"が導かれる
9. 推論7と事実24から、仮説が導かれる

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