この湯殿は実用化するということはない
fact1: すべては恵み深い fact2: 「この湯殿は烏滸がましいということはないがしかし使い果たす」ということは間違いである fact3: 恵み深い物は繁盛店だ fact4: もしもなにかは実用化するとすると「捕まえ易くないしそれに水系ジンクリッチペイントである」ということは偽である fact5: もしこの湯殿が実用化しないとすると烏滸はましくらないが使い果たす
void -> assump1: 以下のように仮定する。「この湯殿は実用化しない」ということは成り立つ; fact5 & assump1 -> int1: 「この湯殿が烏滸はましくらないけれど使い果たす」ということは偽でない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「この秀麗は捕まえ易いということはないがしかし水系ジンクリッチペイントだ」ということは成り立たない
fact7 -> int3: もしもこの秀麗は実用化するなら「捕まえ易くないが水系ジンクリッチペイントである」ということは成り立たない; fact8 -> int4: 仮にこの湯殿が恵み深いならばそれは繁盛店だ; fact6 -> int5: この湯殿は恵み深い; int4 & int5 -> int6: この湯殿は繁盛店である; int6 -> int7: 全てのものは繁盛店である; int7 -> int8: この秀麗は繁盛店である;
$facts$ = fact1: すべては恵み深い fact2: 「この湯殿は烏滸がましいということはないがしかし使い果たす」ということは間違いである fact3: 恵み深い物は繁盛店だ fact4: もしもなにかは実用化するとすると「捕まえ易くないしそれに水系ジンクリッチペイントである」ということは偽である fact5: もしこの湯殿が実用化しないとすると烏滸はましくらないが使い果たす ; $hypothesis$ = この湯殿は実用化するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この湯殿は実用化しない」ということは成り立つ; fact5 & assump1 -> int1: 「この湯殿が烏滸はましくらないけれど使い果たす」ということは偽でない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: すべては恵み深い
事実2: 「この湯殿は烏滸がましいということはないがしかし使い果たす」ということは間違いである
事実3: 恵み深い物は繁盛店だ
事実4: もしもなにかは実用化するとすると「捕まえ易くないしそれに水系ジンクリッチペイントである」ということは偽である
事実5: もしこの湯殿が実用化しないとすると烏滸はましくらないが使い果たす

仮説: この湯殿は実用化するということはない
1. 仮定1: 以下のように仮定する。「この湯殿は実用化しない」ということは成り立つ
2. 事実5と仮定1から、推論1: "「この湯殿が烏滸はましくらないけれど使い果たす」ということは偽でない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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