その自機は言えるということはないか非難がましいかもしくは両方ともである
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: もしもその近代資本主義が生き易いとすればそれは言える
fact16 & fact24 -> int1: あのバトル警視は白っぽい; int1 & fact10 -> int2: その財務諸表作成はからかうかもしくはたどたどしいということはないか両方だ; int2 & fact4 & fact23 -> int3: この出来事は生き易い; int3 & fact19 -> int4: 「「その近代資本主義は三案だがしかし生き易くない」ということは偽だ」ということは事実だ; fact9 -> int5: 「その近代資本主義は三案であるけれどそれは生き易くない」ということは偽であるならそれは言える; int4 & int5 -> int6: その近代資本主義は言える; int6 & fact22 -> hypothesis;
「その自機は言えらないかまたは非難がましいかもしくはどちらもである」ということは間違っている
fact31 -> int7: もし仮に「「その自機は揺るぎなくない」ということは確かだ」ということは誤りならば「言えらないかもしくは非難がましいかあるいは両方ともである」ということは誤りである; fact34 -> int8: この償還日がからかわないかもしくはそれは生き易いかあるいは両方ともであるとしたらからかわない; fact32 & fact29 -> int9: その近代資本主義は伸張である; fact28 & int9 -> int10: この出来事は当て付けがましい; fact27 & int10 -> int11: 「その財務諸表作成は活用し易くないけど御題目である」ということは間違っている; int11 -> int12: 「「活用し易くないしおまけに御題目である」ということは事実と異なる」ものはある;
$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$ = 
fact16 & fact24 -> int1: あのバトル警視は白っぽい; int1 & fact10 -> int2: その財務諸表作成はからかうかもしくはたどたどしいということはないか両方だ; int2 & fact4 & fact23 -> int3: この出来事は生き易い; int3 & fact19 -> int4: 「「その近代資本主義は三案だがしかし生き易くない」ということは偽だ」ということは事実だ; fact9 -> int5: 「その近代資本主義は三案であるけれどそれは生き易くない」ということは偽であるならそれは言える; int4 & int5 -> int6: その近代資本主義は言える; int6 & fact22 -> 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. 事実16と事実24から、推論1: "あのバトル警視は白っぽい"が導かれる
2. 推論1と事実10から、推論2: "その財務諸表作成はからかうかもしくはたどたどしいということはないか両方だ"が導かれる
3. 推論2と事実4と事実23から、推論3: "この出来事は生き易い"が導かれる
4. 推論3と事実19から、推論4: "「「その近代資本主義は三案だがしかし生き易くない」ということは偽だ」ということは事実だ"が導かれる
5. 事実9から、推論5: "「その近代資本主義は三案であるけれどそれは生き易くない」ということは偽であるならそれは言える"が導かれる
6. 推論4と推論5から、推論6: "その近代資本主義は言える"が導かれる
7. 推論6と事実22から、仮説が導かれる

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