「「この目標回収率はヨットでないけど帰す」ということは真実だ」ということは成り立つということはない
fact1: 「あの司法制度は依存しないけど機銃弾だ」ということは事実と異なる fact2: 「「あの司法制度は依存するということはないがしかし機銃弾だ」ということは成り立たない」ということは成り立つとすればこの草創期は短時間雇用者数であるということはない fact3: この目標回収率は依存する fact4: 仮に「この草創期は高いしまたホーロータンクである」ということは偽だとすればその環境設計は暮らし易くない fact5: なにがしかの物は少数者言語でないなら「それは高くてホーロータンクである」ということは誤りだ fact6: もし仮にこの草創期は少数者言語であるとしたら短時間雇用者数である fact7: もし仮に「その環境設計は暮らし易くない」ということは成り立つなら「この目標回収率はヨットでないけどそれは帰す」ということは成り立たない fact8: この目標回収率が少数者言語だということはないとすればこの草創期は帰すということはない fact9: 「この目標回収率は暮らし易い」ということは成り立つ
void -> assump1: 以下のように仮定する。この草創期は少数者言語である; fact6 & assump1 -> int1: この草創期は短時間雇用者数だ; fact1 & fact2 -> int2: この草創期は短時間雇用者数であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この草創期は少数者言語でない; fact5 -> int5: この草創期は少数者言語でないとしたら「高いしホーロータンクだ」ということは間違っている; int4 & int5 -> int6: 「この草創期は高いしホーロータンクである」ということは偽だ; int6 & fact4 -> int7: その環境設計は暮らし易くない; int7 & fact7 -> hypothesis;
$facts$ = fact1: 「あの司法制度は依存しないけど機銃弾だ」ということは事実と異なる fact2: 「「あの司法制度は依存するということはないがしかし機銃弾だ」ということは成り立たない」ということは成り立つとすればこの草創期は短時間雇用者数であるということはない fact3: この目標回収率は依存する fact4: 仮に「この草創期は高いしまたホーロータンクである」ということは偽だとすればその環境設計は暮らし易くない fact5: なにがしかの物は少数者言語でないなら「それは高くてホーロータンクである」ということは誤りだ fact6: もし仮にこの草創期は少数者言語であるとしたら短時間雇用者数である fact7: もし仮に「その環境設計は暮らし易くない」ということは成り立つなら「この目標回収率はヨットでないけどそれは帰す」ということは成り立たない fact8: この目標回収率が少数者言語だということはないとすればこの草創期は帰すということはない fact9: 「この目標回収率は暮らし易い」ということは成り立つ ; $hypothesis$ = 「「この目標回収率はヨットでないけど帰す」ということは真実だ」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この草創期は少数者言語である; fact6 & assump1 -> int1: この草創期は短時間雇用者数だ; fact1 & fact2 -> int2: この草創期は短時間雇用者数であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この草創期は少数者言語でない; fact5 -> int5: この草創期は少数者言語でないとしたら「高いしホーロータンクだ」ということは間違っている; int4 & int5 -> int6: 「この草創期は高いしホーロータンクである」ということは偽だ; int6 & fact4 -> int7: その環境設計は暮らし易くない; int7 & fact7 -> hypothesis; __PROVED__
事実1: 「あの司法制度は依存しないけど機銃弾だ」ということは事実と異なる
事実2: 「「あの司法制度は依存するということはないがしかし機銃弾だ」ということは成り立たない」ということは成り立つとすればこの草創期は短時間雇用者数であるということはない
事実3: この目標回収率は依存する
事実4: 仮に「この草創期は高いしまたホーロータンクである」ということは偽だとすればその環境設計は暮らし易くない
事実5: なにがしかの物は少数者言語でないなら「それは高くてホーロータンクである」ということは誤りだ
事実6: もし仮にこの草創期は少数者言語であるとしたら短時間雇用者数である
事実7: もし仮に「その環境設計は暮らし易くない」ということは成り立つなら「この目標回収率はヨットでないけどそれは帰す」ということは成り立たない
事実8: この目標回収率が少数者言語だということはないとすればこの草創期は帰すということはない
事実9: 「この目標回収率は暮らし易い」ということは成り立つ

仮説: 「「この目標回収率はヨットでないけど帰す」ということは真実だ」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この草創期は少数者言語である
2. 事実6と仮定1から、推論1: "この草創期は短時間雇用者数だ"が導かれる
3. 事実1と事実2から、推論2: "この草創期は短時間雇用者数であるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この草創期は少数者言語でない"が導かれる
6. 事実5から、推論5: "この草創期は少数者言語でないとしたら「高いしホーロータンクだ」ということは間違っている"が導かれる
7. 推論4と推論5から、推論6: "「この草創期は高いしホーロータンクである」ということは偽だ"が導かれる
8. 推論6と事実4から、推論7: "その環境設計は暮らし易くない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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