もしもこの海外は半信半疑だとすれば「あの送り手は包み込めない一方で回収ステーションである」ということは誤りだ
fact1: 「包み込めない」ものはある fact2: とある物が包み込めないとすれば後退るということはないしそれは未組織労働者だ fact3: 「包み込めないが回収ステーションな」ものがあるとすればあの海外は半信半疑である fact4: なんらかのものが包み込めないが回収ステーションだとすればこの海外は半信半疑でない fact5: ある物は包み込めるし回収ステーションだ fact6: 仮にその器壁が回収ステーションだということはないならこの海外は包み込めない fact7: あの送り手は包み込めるということはない fact8: 「あの送り手は包み込めるしその上回収ステーションだ」ということは成り立たない
void -> assump2: 以下のように仮定する。あの送り手は包み込めない一方でそれは回収ステーションだ; assump2 -> int1: 何らかのものは包み込めるということはないが回収ステーションである; int1 & fact4 -> int2: 「この海外は半信半疑でない」ということは成り立つ; void -> assump1: 以下のように仮定する。この海外は半信半疑だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの送り手は包み込めないがしかしそれは回収ステーションだ」ということは偽である; [assump1] & int4 -> hypothesis;
「「後退らないしさらに未組織労働者だ」ということは成り立つ」物はある
fact10 -> int5: 仮にこの海外が包み込めないならそれは後退らないがしかし未組織労働者だ;
$facts$ = fact1: 「包み込めない」ものはある fact2: とある物が包み込めないとすれば後退るということはないしそれは未組織労働者だ fact3: 「包み込めないが回収ステーションな」ものがあるとすればあの海外は半信半疑である fact4: なんらかのものが包み込めないが回収ステーションだとすればこの海外は半信半疑でない fact5: ある物は包み込めるし回収ステーションだ fact6: 仮にその器壁が回収ステーションだということはないならこの海外は包み込めない fact7: あの送り手は包み込めるということはない fact8: 「あの送り手は包み込めるしその上回収ステーションだ」ということは成り立たない ; $hypothesis$ = もしもこの海外は半信半疑だとすれば「あの送り手は包み込めない一方で回収ステーションである」ということは誤りだ ; $proof$ = 
void -> assump2: 以下のように仮定する。あの送り手は包み込めない一方でそれは回収ステーションだ; assump2 -> int1: 何らかのものは包み込めるということはないが回収ステーションである; int1 & fact4 -> int2: 「この海外は半信半疑でない」ということは成り立つ; void -> assump1: 以下のように仮定する。この海外は半信半疑だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの送り手は包み込めないがしかしそれは回収ステーションだ」ということは偽である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「包み込めない」ものはある
事実2: とある物が包み込めないとすれば後退るということはないしそれは未組織労働者だ
事実3: 「包み込めないが回収ステーションな」ものがあるとすればあの海外は半信半疑である
事実4: なんらかのものが包み込めないが回収ステーションだとすればこの海外は半信半疑でない
事実5: ある物は包み込めるし回収ステーションだ
事実6: 仮にその器壁が回収ステーションだということはないならこの海外は包み込めない
事実7: あの送り手は包み込めるということはない
事実8: 「あの送り手は包み込めるしその上回収ステーションだ」ということは成り立たない

仮説: もしもこの海外は半信半疑だとすれば「あの送り手は包み込めない一方で回収ステーションである」ということは誤りだ
1. 仮定2: 以下のように仮定する。あの送り手は包み込めない一方でそれは回収ステーションだ
2. 仮定2から、推論1: "何らかのものは包み込めるということはないが回収ステーションである"が導かれる
3. 推論1と事実4から、推論2: "「この海外は半信半疑でない」ということは成り立つ"が導かれる
4. 仮定1: 以下のように仮定する。この海外は半信半疑だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「あの送り手は包み込めないがしかしそれは回収ステーションだ」ということは偽である"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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