その素材本来は留まる
fact1: もし仮に「在宅医療でない」物はあるとしたら「あの二十日号は減じないが除塵だ」ということは嘘だ fact2: もしも何かは凝り固まらないとすると在宅医療でないしさらに留まらない fact3: もしもその素材本来が減じないならばあの二十日号は除塵でない fact4: 「あの二十日号は減じるし加えて留まる」ということは誤りだ fact5: 「在宅医療でない」物はある fact6: あの二十日号は挑み続けるということはない fact7: もしも「減じるということはない」ものはあれば「その素材本来は除塵でないがしかしそれは留まる」ということは成り立たない fact8: もしも「留まらない」物はあるとすれば「あの二十日号は除塵でないが減じる」ということは成り立たない fact9: その素材本来は除塵でない fact10: そのプロフェッショナルサービス本部は除塵でない fact11: もしもあの二十日号が留まらないならその素材本来は除塵でない fact12: もしもあの二十日号が留まらないとしたらその素材本来は除塵でないがそれは減じる fact13: 「「留まるということはない」ということは本当である」ものはある fact14: その素材本来が留まらないならあの二十日号は減じないがしかしそれは除塵である fact15: もし「なにがしかの物は留まるし木霊する」ということは成り立たないとしたらそれは木霊しない fact16: あの二十日号は論断するということはない
void -> assump1: 以下のように仮定する。その素材本来は留まらない; fact14 & assump1 -> int1: あの二十日号は減じないがしかしそれは除塵である; fact1 & fact5 -> int2: 「あの二十日号は減じるということはないけれど除塵である」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「木霊しない」物はある
fact17 -> int4: もし「その素材本来は留まるしそれは木霊する」ということは成り立たないとすると「それは木霊しない」ということは成り立つ;
$facts$ = fact1: もし仮に「在宅医療でない」物はあるとしたら「あの二十日号は減じないが除塵だ」ということは嘘だ fact2: もしも何かは凝り固まらないとすると在宅医療でないしさらに留まらない fact3: もしもその素材本来が減じないならばあの二十日号は除塵でない fact4: 「あの二十日号は減じるし加えて留まる」ということは誤りだ fact5: 「在宅医療でない」物はある fact6: あの二十日号は挑み続けるということはない fact7: もしも「減じるということはない」ものはあれば「その素材本来は除塵でないがしかしそれは留まる」ということは成り立たない fact8: もしも「留まらない」物はあるとすれば「あの二十日号は除塵でないが減じる」ということは成り立たない fact9: その素材本来は除塵でない fact10: そのプロフェッショナルサービス本部は除塵でない fact11: もしもあの二十日号が留まらないならその素材本来は除塵でない fact12: もしもあの二十日号が留まらないとしたらその素材本来は除塵でないがそれは減じる fact13: 「「留まるということはない」ということは本当である」ものはある fact14: その素材本来が留まらないならあの二十日号は減じないがしかしそれは除塵である fact15: もし「なにがしかの物は留まるし木霊する」ということは成り立たないとしたらそれは木霊しない fact16: あの二十日号は論断するということはない ; $hypothesis$ = その素材本来は留まる ; $proof$ = 
void -> assump1: 以下のように仮定する。その素材本来は留まらない; fact14 & assump1 -> int1: あの二十日号は減じないがしかしそれは除塵である; fact1 & fact5 -> int2: 「あの二十日号は減じるということはないけれど除塵である」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「在宅医療でない」物はあるとしたら「あの二十日号は減じないが除塵だ」ということは嘘だ
事実2: もしも何かは凝り固まらないとすると在宅医療でないしさらに留まらない
事実3: もしもその素材本来が減じないならばあの二十日号は除塵でない
事実4: 「あの二十日号は減じるし加えて留まる」ということは誤りだ
事実5: 「在宅医療でない」物はある
事実6: あの二十日号は挑み続けるということはない
事実7: もしも「減じるということはない」ものはあれば「その素材本来は除塵でないがしかしそれは留まる」ということは成り立たない
事実8: もしも「留まらない」物はあるとすれば「あの二十日号は除塵でないが減じる」ということは成り立たない
事実9: その素材本来は除塵でない
事実10: そのプロフェッショナルサービス本部は除塵でない
事実11: もしもあの二十日号が留まらないならその素材本来は除塵でない
事実12: もしもあの二十日号が留まらないとしたらその素材本来は除塵でないがそれは減じる
事実13: 「「留まるということはない」ということは本当である」ものはある
事実14: その素材本来が留まらないならあの二十日号は減じないがしかしそれは除塵である
事実15: もし「なにがしかの物は留まるし木霊する」ということは成り立たないとしたらそれは木霊しない
事実16: あの二十日号は論断するということはない

仮説: その素材本来は留まる
1. 仮定1: 以下のように仮定する。その素材本来は留まらない
2. 事実14と仮定1から、推論1: "あの二十日号は減じないがしかしそれは除塵である"が導かれる
3. 事実1と事実5から、推論2: "「あの二十日号は減じるということはないけれど除塵である」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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