あの印鑑届け書は分かり難い
fact1: もしその御風呂屋さんは珠華でないなら「あの印鑑届け書は上達するがそれは分かり難くない」ということは真実でない fact2: あの印鑑届け書は絶対的総体性でない fact3: もし「珠華でないが上達する」物があるとしたらその御風呂屋さんは埃っぽい fact4: あの現値水準は試作しないかまたは追うかあるいはどちらもだ fact5: もしもそのコスト負担が曇り無しないとすると嫉妬深い fact6: あの清算価値は追わない fact7: 珠華は添付する fact8: もし何かは添付するし嫉妬深いとするとあの印鑑届け書は分かり難くない fact9: 仮に「ある物は上達するけど分かり難いということはない」ということは偽であるとすれば「それは分かり難い」ということは偽でない fact10: もし「何らかの物は珠華だということはないけどそれは上達する」ということは嘘であるならそれは添付する fact11: そのコスト負担は曇り無しない fact12: もしあるものが試作しないかそれは追わないかもしくはどちらもなら「それは半年毎である」ということは事実であるということはない fact13: あの現値水準は試作するかもしくはそれは追わないかまたはどちらもである fact14: もし仮にその御風呂屋さんが埃っぽいとしたらあの現値水準は半年毎である fact15: あの現値水準は追わない fact16: 「埃っぽくない」ものはある
void -> assump1: 以下のように仮定する。そのコスト負担は珠華でない一方でそれは上達する; assump1 -> int1: 「珠華でなくてまた上達する」物はある; int1 & fact3 -> int2: その御風呂屋さんは埃っぽい; int2 & fact14 -> int3: あの現値水準は半年毎である; fact12 -> int4: もし仮にあの現値水準が試作しないかそれは追わないかどちらもであるならば「それは半年毎でない」ということは本当だ; fact15 -> int5: あの現値水準は試作しないかあるいは追わないかもしくはどちらもだ; int4 & int5 -> int6: あの現値水準は半年毎でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「そのコスト負担は珠華でない一方でそれは上達する」ということは成り立たない; fact10 -> int9: もし「そのコスト負担は珠華でないが上達する」ということは嘘であるなら添付する; int8 & int9 -> int10: そのコスト負担は添付する; fact11 & fact5 -> int11: そのコスト負担は嫉妬深い; int10 & int11 -> int12: そのコスト負担は添付するしその上嫉妬深い; int12 -> int13: 何らかの物は添付するし嫉妬深い; int13 & fact8 -> hypothesis;
あの印鑑届け書は分かり難い
fact18 -> int14: 「あの印鑑届け書は上達するけど分かり難くない」ということは間違いだとすると分かり難い;
$facts$ = fact1: もしその御風呂屋さんは珠華でないなら「あの印鑑届け書は上達するがそれは分かり難くない」ということは真実でない fact2: あの印鑑届け書は絶対的総体性でない fact3: もし「珠華でないが上達する」物があるとしたらその御風呂屋さんは埃っぽい fact4: あの現値水準は試作しないかまたは追うかあるいはどちらもだ fact5: もしもそのコスト負担が曇り無しないとすると嫉妬深い fact6: あの清算価値は追わない fact7: 珠華は添付する fact8: もし何かは添付するし嫉妬深いとするとあの印鑑届け書は分かり難くない fact9: 仮に「ある物は上達するけど分かり難いということはない」ということは偽であるとすれば「それは分かり難い」ということは偽でない fact10: もし「何らかの物は珠華だということはないけどそれは上達する」ということは嘘であるならそれは添付する fact11: そのコスト負担は曇り無しない fact12: もしあるものが試作しないかそれは追わないかもしくはどちらもなら「それは半年毎である」ということは事実であるということはない fact13: あの現値水準は試作するかもしくはそれは追わないかまたはどちらもである fact14: もし仮にその御風呂屋さんが埃っぽいとしたらあの現値水準は半年毎である fact15: あの現値水準は追わない fact16: 「埃っぽくない」ものはある ; $hypothesis$ = あの印鑑届け書は分かり難い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのコスト負担は珠華でない一方でそれは上達する; assump1 -> int1: 「珠華でなくてまた上達する」物はある; int1 & fact3 -> int2: その御風呂屋さんは埃っぽい; int2 & fact14 -> int3: あの現値水準は半年毎である; fact12 -> int4: もし仮にあの現値水準が試作しないかそれは追わないかどちらもであるならば「それは半年毎でない」ということは本当だ; fact15 -> int5: あの現値水準は試作しないかあるいは追わないかもしくはどちらもだ; int4 & int5 -> int6: あの現値水準は半年毎でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「そのコスト負担は珠華でない一方でそれは上達する」ということは成り立たない; fact10 -> int9: もし「そのコスト負担は珠華でないが上達する」ということは嘘であるなら添付する; int8 & int9 -> int10: そのコスト負担は添付する; fact11 & fact5 -> int11: そのコスト負担は嫉妬深い; int10 & int11 -> int12: そのコスト負担は添付するしその上嫉妬深い; int12 -> int13: 何らかの物は添付するし嫉妬深い; int13 & fact8 -> hypothesis; __DISPROVED__
事実1: もしその御風呂屋さんは珠華でないなら「あの印鑑届け書は上達するがそれは分かり難くない」ということは真実でない
事実2: あの印鑑届け書は絶対的総体性でない
事実3: もし「珠華でないが上達する」物があるとしたらその御風呂屋さんは埃っぽい
事実4: あの現値水準は試作しないかまたは追うかあるいはどちらもだ
事実5: もしもそのコスト負担が曇り無しないとすると嫉妬深い
事実6: あの清算価値は追わない
事実7: 珠華は添付する
事実8: もし何かは添付するし嫉妬深いとするとあの印鑑届け書は分かり難くない
事実9: 仮に「ある物は上達するけど分かり難いということはない」ということは偽であるとすれば「それは分かり難い」ということは偽でない
事実10: もし「何らかの物は珠華だということはないけどそれは上達する」ということは嘘であるならそれは添付する
事実11: そのコスト負担は曇り無しない
事実12: もしあるものが試作しないかそれは追わないかもしくはどちらもなら「それは半年毎である」ということは事実であるということはない
事実13: あの現値水準は試作するかもしくはそれは追わないかまたはどちらもである
事実14: もし仮にその御風呂屋さんが埃っぽいとしたらあの現値水準は半年毎である
事実15: あの現値水準は追わない
事実16: 「埃っぽくない」ものはある

仮説: あの印鑑届け書は分かり難い
1. 仮定1: 以下のように仮定する。そのコスト負担は珠華でない一方でそれは上達する
2. 仮定1から、推論1: "「珠華でなくてまた上達する」物はある"が導かれる
3. 推論1と事実3から、推論2: "その御風呂屋さんは埃っぽい"が導かれる
4. 推論2と事実14から、推論3: "あの現値水準は半年毎である"が導かれる
5. 事実12から、推論4: "もし仮にあの現値水準が試作しないかそれは追わないかどちらもであるならば「それは半年毎でない」ということは本当だ"が導かれる
6. 事実15から、推論5: "あの現値水準は試作しないかあるいは追わないかもしくはどちらもだ"が導かれる
7. 推論4と推論5から、推論6: "あの現値水準は半年毎でない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「そのコスト負担は珠華でない一方でそれは上達する」ということは成り立たない"が導かれる
10. 事実10から、推論9: "もし「そのコスト負担は珠華でないが上達する」ということは嘘であるなら添付する"が導かれる
11. 推論8と推論9から、推論10: "そのコスト負担は添付する"が導かれる
12. 事実11と事実5から、推論11: "そのコスト負担は嫉妬深い"が導かれる
13. 推論10と推論11から、推論12: "そのコスト負担は添付するしその上嫉妬深い"が導かれる
14. 推論12から、推論13: "何らかの物は添付するし嫉妬深い"が導かれる
15. 推論13と事実8から、仮説が否定される

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