「そのサムシングは接続出来る」ということは成り立つ
fact1: もしあの一本芯が根強くないとするとそのサムシングは耐え続ける fact2: もしもあの一本芯が確認し易いとするとそのミラー公園は存在すらない fact3: とあるものは再発し易くないとすればそれは根強くない fact4: 仮に「「依存し合うかあるいは送り出すか両方ともである」ということは間違いな」物があるとするとこのハールは存在す fact5: 「「依存し合うか送り出すかまたは両方である」ということは成り立たない」ものはある fact6: もし仮にあの一本芯が再発し易いならばそれは完だ fact7: もし仮に「このハールは存在す」ということは成り立つとすれば「そのミラー公園は存在す」ということは事実である fact8: あるものが耐え続けるとすれば接続出来る fact9: なにかは完であるけどそれは再発し易くないとするとそれは接続出来るということはない fact10: なにがしかのものが完だとすればそれは確認し易い fact11: 「物悲しいということはない」物はある
void -> assump1: 以下のように仮定する。「あの一本芯は再発し易い」ということは成り立つ; fact6 & assump1 -> int1: 「あの一本芯は完だ」ということは成り立つ; fact10 -> int2: もしあの一本芯が完だとすれば確認し易い; int1 & int2 -> int3: あの一本芯は確認し易い; int3 & fact2 -> int4: そのミラー公園は存在すらない; fact4 & fact5 -> int5: このハールは存在す; int5 & fact7 -> int6: そのミラー公園は存在す; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの一本芯は再発し易いということはない; fact3 -> int9: もしあの一本芯が再発し易いということはないとしたら根強くない; int8 & int9 -> int10: あの一本芯は根強くない; int10 & fact1 -> int11: そのサムシングは耐え続ける; fact8 -> int12: もしもそのサムシングが耐え続けるとしたらそれは接続出来る; int11 & int12 -> hypothesis;
そのサムシングは接続出来ない
fact12 -> int13: そのサムシングは完であるけど再発し易いということはないならば接続出来ない;
$facts$ = fact1: もしあの一本芯が根強くないとするとそのサムシングは耐え続ける fact2: もしもあの一本芯が確認し易いとするとそのミラー公園は存在すらない fact3: とあるものは再発し易くないとすればそれは根強くない fact4: 仮に「「依存し合うかあるいは送り出すか両方ともである」ということは間違いな」物があるとするとこのハールは存在す fact5: 「「依存し合うか送り出すかまたは両方である」ということは成り立たない」ものはある fact6: もし仮にあの一本芯が再発し易いならばそれは完だ fact7: もし仮に「このハールは存在す」ということは成り立つとすれば「そのミラー公園は存在す」ということは事実である fact8: あるものが耐え続けるとすれば接続出来る fact9: なにかは完であるけどそれは再発し易くないとするとそれは接続出来るということはない fact10: なにがしかのものが完だとすればそれは確認し易い fact11: 「物悲しいということはない」物はある ; $hypothesis$ = 「そのサムシングは接続出来る」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの一本芯は再発し易い」ということは成り立つ; fact6 & assump1 -> int1: 「あの一本芯は完だ」ということは成り立つ; fact10 -> int2: もしあの一本芯が完だとすれば確認し易い; int1 & int2 -> int3: あの一本芯は確認し易い; int3 & fact2 -> int4: そのミラー公園は存在すらない; fact4 & fact5 -> int5: このハールは存在す; int5 & fact7 -> int6: そのミラー公園は存在す; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの一本芯は再発し易いということはない; fact3 -> int9: もしあの一本芯が再発し易いということはないとしたら根強くない; int8 & int9 -> int10: あの一本芯は根強くない; int10 & fact1 -> int11: そのサムシングは耐え続ける; fact8 -> int12: もしもそのサムシングが耐え続けるとしたらそれは接続出来る; int11 & int12 -> hypothesis; __PROVED__
事実1: もしあの一本芯が根強くないとするとそのサムシングは耐え続ける
事実2: もしもあの一本芯が確認し易いとするとそのミラー公園は存在すらない
事実3: とあるものは再発し易くないとすればそれは根強くない
事実4: 仮に「「依存し合うかあるいは送り出すか両方ともである」ということは間違いな」物があるとするとこのハールは存在す
事実5: 「「依存し合うか送り出すかまたは両方である」ということは成り立たない」ものはある
事実6: もし仮にあの一本芯が再発し易いならばそれは完だ
事実7: もし仮に「このハールは存在す」ということは成り立つとすれば「そのミラー公園は存在す」ということは事実である
事実8: あるものが耐え続けるとすれば接続出来る
事実9: なにかは完であるけどそれは再発し易くないとするとそれは接続出来るということはない
事実10: なにがしかのものが完だとすればそれは確認し易い
事実11: 「物悲しいということはない」物はある

仮説: 「そのサムシングは接続出来る」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの一本芯は再発し易い」ということは成り立つ
2. 事実6と仮定1から、推論1: "「あの一本芯は完だ」ということは成り立つ"が導かれる
3. 事実10から、推論2: "もしあの一本芯が完だとすれば確認し易い"が導かれる
4. 推論1と推論2から、推論3: "あの一本芯は確認し易い"が導かれる
5. 推論3と事実2から、推論4: "そのミラー公園は存在すらない"が導かれる
6. 事実4と事実5から、推論5: "このハールは存在す"が導かれる
7. 推論5と事実7から、推論6: "そのミラー公園は存在す"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの一本芯は再発し易いということはない"が導かれる
10. 事実3から、推論9: "もしあの一本芯が再発し易いということはないとしたら根強くない"が導かれる
11. 推論8と推論9から、推論10: "あの一本芯は根強くない"が導かれる
12. 推論10と事実1から、推論11: "そのサムシングは耐え続ける"が導かれる
13. 事実8から、推論12: "もしもそのサムシングが耐え続けるとしたらそれは接続出来る"が導かれる
14. 推論11と推論12から、仮説が導かれる

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