あの丁子は存続す
fact1: 仮に「あの分かり様は血腥くなくて更に添い遂げない」ということは成り立たないなら「あの丁子は名状し難い」ということは成り立つ fact2: もしも嘆かわしい物が名状し難いなら存続すらない fact3: もし何かは山高であるしそれが特許するならばあの丁子は嘆かわしい fact4: 「あの分かり様は血腥くなくてそれは添い遂げない」ということは偽である fact5: とあるものは山高であるし特許する
fact5 & fact3 -> int1: あの丁子は嘆かわしい; fact1 & fact4 -> int2: あの丁子は名状し難い; int1 & int2 -> int3: あの丁子は嘆かわしくて名状し難い; fact2 -> int4: 仮にあの丁子が嘆かわしくて加えてそれが名状し難いとすれば存続すらない; int3 & int4 -> hypothesis;
fact5 & fact3 -> int1: {C}{a}; fact1 & fact4 -> int2: {D}{a}; int1 & int2 -> int3: ({C}{a} & {D}{a}); fact2 -> int4: ({C}{a} & {D}{a}) -> ¬{E}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮に「あの分かり様は血腥くなくて更に添い遂げない」ということは成り立たないなら「あの丁子は名状し難い」ということは成り立つ fact2: もしも嘆かわしい物が名状し難いなら存続すらない fact3: もし何かは山高であるしそれが特許するならばあの丁子は嘆かわしい fact4: 「あの分かり様は血腥くなくてそれは添い遂げない」ということは偽である fact5: とあるものは山高であるし特許する ; $hypothesis$ = あの丁子は存続す ; $proof$ = 
fact5 & fact3 -> int1: あの丁子は嘆かわしい; fact1 & fact4 -> int2: あの丁子は名状し難い; int1 & int2 -> int3: あの丁子は嘆かわしくて名状し難い; fact2 -> int4: 仮にあの丁子が嘆かわしくて加えてそれが名状し難いとすれば存続すらない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「あの分かり様は血腥くなくて更に添い遂げない」ということは成り立たないなら「あの丁子は名状し難い」ということは成り立つ
事実2: もしも嘆かわしい物が名状し難いなら存続すらない
事実3: もし何かは山高であるしそれが特許するならばあの丁子は嘆かわしい
事実4: 「あの分かり様は血腥くなくてそれは添い遂げない」ということは偽である
事実5: とあるものは山高であるし特許する

仮説: あの丁子は存続す
1. 事実5と事実3から、推論1: "あの丁子は嘆かわしい"が導かれる
2. 事実1と事実4から、推論2: "あの丁子は名状し難い"が導かれる
3. 推論1と推論2から、推論3: "あの丁子は嘆かわしくて名状し難い"が導かれる
4. 事実2から、推論4: "仮にあの丁子が嘆かわしくて加えてそれが名状し難いとすれば存続すらない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。