「「「示し易くなくておまけに自己証明だということはない」ということは間違いである」物はある」ということは事実でない
fact1: この地方分散は検認である fact2: しょぼいものは起き上がらなくて加えて飲み交わさない fact3: 「この病気療養中は示し易いけど自己証明でない」ということは間違いである fact4: 「「示し易いけれど自己証明でない」ということは偽である」物はある fact5: 示し易くないものは自己証明であるならばそれは検認だ fact6: もしも示し易くないものは自己証明でないとすると検認だ fact7: 仮に「この病気療養中は示し易いがしかし自己証明でない」ということは成り立つならそれは検認である fact8: この病気療養中は検認でない
fact6 -> int1: もし仮にこの病気療養中は示し易くないししかも自己証明でないなら検認である; void -> assump1: 以下のように仮定する。この病気療養中は示し易くないし自己証明でない; int1 & assump1 -> int2: この病気療養中は検認だ; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この病気療養中は示し易くないししかも自己証明でない」ということは偽だ; int4 -> hypothesis;
その代表作品は起き上がらなくてその上飲み交わさない
fact9 -> int5: 「その代表作品はしょぼい」ということは誤っていないとするとそれは起き上がらなくてその上それは飲み交わさない;
$facts$ = fact1: この地方分散は検認である fact2: しょぼいものは起き上がらなくて加えて飲み交わさない fact3: 「この病気療養中は示し易いけど自己証明でない」ということは間違いである fact4: 「「示し易いけれど自己証明でない」ということは偽である」物はある fact5: 示し易くないものは自己証明であるならばそれは検認だ fact6: もしも示し易くないものは自己証明でないとすると検認だ fact7: 仮に「この病気療養中は示し易いがしかし自己証明でない」ということは成り立つならそれは検認である fact8: この病気療養中は検認でない ; $hypothesis$ = 「「「示し易くなくておまけに自己証明だということはない」ということは間違いである」物はある」ということは事実でない ; $proof$ = 
fact6 -> int1: もし仮にこの病気療養中は示し易くないししかも自己証明でないなら検認である; void -> assump1: 以下のように仮定する。この病気療養中は示し易くないし自己証明でない; int1 & assump1 -> int2: この病気療養中は検認だ; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この病気療養中は示し易くないししかも自己証明でない」ということは偽だ; int4 -> hypothesis; __DISPROVED__
事実1: この地方分散は検認である
事実2: しょぼいものは起き上がらなくて加えて飲み交わさない
事実3: 「この病気療養中は示し易いけど自己証明でない」ということは間違いである
事実4: 「「示し易いけれど自己証明でない」ということは偽である」物はある
事実5: 示し易くないものは自己証明であるならばそれは検認だ
事実6: もしも示し易くないものは自己証明でないとすると検認だ
事実7: 仮に「この病気療養中は示し易いがしかし自己証明でない」ということは成り立つならそれは検認である
事実8: この病気療養中は検認でない

仮説: 「「「示し易くなくておまけに自己証明だということはない」ということは間違いである」物はある」ということは事実でない
1. 事実6から、推論1: "もし仮にこの病気療養中は示し易くないししかも自己証明でないなら検認である"が導かれる
2. 仮定1: 以下のように仮定する。この病気療養中は示し易くないし自己証明でない
3. 推論1と仮定1から、推論2: "この病気療養中は検認だ"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この病気療養中は示し易くないししかも自己証明でない」ということは偽だ"が導かれる
6. 推論4から、仮説が否定される

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