その重連は間違え易いとすれば「その決め手は利用し合わないけど介護タクシーだ」ということは間違っている
fact1: もしもあの第九十二項は介護タクシーであるとすれば「「その決め手は利用し合わないけれど介護タクシーだ」ということは誤っていない」ということは間違っている fact2: もし仮にその重連が間違え易いとするとあの第九十二項は介護タクシーである fact3: 「その重連は間違え易くないけれど介護タクシーだ」ということは偽だ fact4: 「あの第九十二項は介護タクシーであるし利用し合う」ということは確かでない fact5: その重連が間違え易いとすればあの決め手は利用し合うということはないが介護タクシーだ fact6: もしもその重連が介護タクシーであるならあの第九十二項は間違え易い fact7: もし何らかのものは介護タクシーでないならば「鉄壁だけれど間違え易くない」ということは事実と異なる fact8: この会社業務は介護タクシーである fact9: もしもあの第九十二項が介護タクシーであるとすればその決め手は利用し合わない一方で介護タクシーである fact10: 仮にその決め手は利用し合えば「その重連は介護タクシーでないが間違え易い」ということは間違いだ fact11: 「あの第九十二項は介護タクシーでないけれど利用し合う」ということは成り立つということはない fact12: その決め手は利用し合うとしたら「その重連は間違え易くないけどそれは利用し合う」ということは事実でない fact13: 仮にその重連は間違え易いなら「その決め手は利用し合うしそれは介護タクシーである」ということは偽である fact14: その決め手は利用し合わないけど介護タクシーだ fact15: もしその重連は間違え易いならば「あの第九十二項は介護タクシーでないが利用し合う」ということは成り立つということはない fact16: もしもあの第九十二項は介護タクシーであるとしたら「その決め手は利用し合うしまた介護タクシーだ」ということは間違いだ fact17: 「その決め手は利用し合わないが間違え易い」ということは誤っている fact18: もしもその決め手が間違え易いとするとその重連は介護タクシーである
void -> assump1: 以下のように仮定する。その重連は間違え易い; fact2 & assump1 -> int1: あの第九十二項は介護タクシーだ; int1 & fact1 -> int2: 「その決め手は利用し合わないけど介護タクシーだ」ということは事実でない; [assump1] & int2 -> hypothesis;
その手拳は間違え易い
fact19 -> int3: もし仮にその重連は介護タクシーでないならば「それは鉄壁でそれは間違え易いということはない」ということは成り立たない;
$facts$ = fact1: もしもあの第九十二項は介護タクシーであるとすれば「「その決め手は利用し合わないけれど介護タクシーだ」ということは誤っていない」ということは間違っている fact2: もし仮にその重連が間違え易いとするとあの第九十二項は介護タクシーである fact3: 「その重連は間違え易くないけれど介護タクシーだ」ということは偽だ fact4: 「あの第九十二項は介護タクシーであるし利用し合う」ということは確かでない fact5: その重連が間違え易いとすればあの決め手は利用し合うということはないが介護タクシーだ fact6: もしもその重連が介護タクシーであるならあの第九十二項は間違え易い fact7: もし何らかのものは介護タクシーでないならば「鉄壁だけれど間違え易くない」ということは事実と異なる fact8: この会社業務は介護タクシーである fact9: もしもあの第九十二項が介護タクシーであるとすればその決め手は利用し合わない一方で介護タクシーである fact10: 仮にその決め手は利用し合えば「その重連は介護タクシーでないが間違え易い」ということは間違いだ fact11: 「あの第九十二項は介護タクシーでないけれど利用し合う」ということは成り立つということはない fact12: その決め手は利用し合うとしたら「その重連は間違え易くないけどそれは利用し合う」ということは事実でない fact13: 仮にその重連は間違え易いなら「その決め手は利用し合うしそれは介護タクシーである」ということは偽である fact14: その決め手は利用し合わないけど介護タクシーだ fact15: もしその重連は間違え易いならば「あの第九十二項は介護タクシーでないが利用し合う」ということは成り立つということはない fact16: もしもあの第九十二項は介護タクシーであるとしたら「その決め手は利用し合うしまた介護タクシーだ」ということは間違いだ fact17: 「その決め手は利用し合わないが間違え易い」ということは誤っている fact18: もしもその決め手が間違え易いとするとその重連は介護タクシーである ; $hypothesis$ = その重連は間違え易いとすれば「その決め手は利用し合わないけど介護タクシーだ」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その重連は間違え易い; fact2 & assump1 -> int1: あの第九十二項は介護タクシーだ; int1 & fact1 -> int2: 「その決め手は利用し合わないけど介護タクシーだ」ということは事実でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもあの第九十二項は介護タクシーであるとすれば「「その決め手は利用し合わないけれど介護タクシーだ」ということは誤っていない」ということは間違っている
事実2: もし仮にその重連が間違え易いとするとあの第九十二項は介護タクシーである
事実3: 「その重連は間違え易くないけれど介護タクシーだ」ということは偽だ
事実4: 「あの第九十二項は介護タクシーであるし利用し合う」ということは確かでない
事実5: その重連が間違え易いとすればあの決め手は利用し合うということはないが介護タクシーだ
事実6: もしもその重連が介護タクシーであるならあの第九十二項は間違え易い
事実7: もし何らかのものは介護タクシーでないならば「鉄壁だけれど間違え易くない」ということは事実と異なる
事実8: この会社業務は介護タクシーである
事実9: もしもあの第九十二項が介護タクシーであるとすればその決め手は利用し合わない一方で介護タクシーである
事実10: 仮にその決め手は利用し合えば「その重連は介護タクシーでないが間違え易い」ということは間違いだ
事実11: 「あの第九十二項は介護タクシーでないけれど利用し合う」ということは成り立つということはない
事実12: その決め手は利用し合うとしたら「その重連は間違え易くないけどそれは利用し合う」ということは事実でない
事実13: 仮にその重連は間違え易いなら「その決め手は利用し合うしそれは介護タクシーである」ということは偽である
事実14: その決め手は利用し合わないけど介護タクシーだ
事実15: もしその重連は間違え易いならば「あの第九十二項は介護タクシーでないが利用し合う」ということは成り立つということはない
事実16: もしもあの第九十二項は介護タクシーであるとしたら「その決め手は利用し合うしまた介護タクシーだ」ということは間違いだ
事実17: 「その決め手は利用し合わないが間違え易い」ということは誤っている
事実18: もしもその決め手が間違え易いとするとその重連は介護タクシーである

仮説: その重連は間違え易いとすれば「その決め手は利用し合わないけど介護タクシーだ」ということは間違っている
1. 仮定1: 以下のように仮定する。その重連は間違え易い
2. 事実2と仮定1から、推論1: "あの第九十二項は介護タクシーだ"が導かれる
3. 推論1と事実1から、推論2: "「その決め手は利用し合わないけど介護タクシーだ」ということは事実でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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