この指定正味財産増減は手堅い
fact1: もし仮にこの指定正味財産増減が疑い始めるとするとそれは探し易いということはない fact2: もしその九十三参照は疑い始めるなら「この指定正味財産増減は探し易くてまた後景である」ということは正しくない fact3: あの時代区分は疑い始める fact4: もしもとある物は無症候性血尿・蛋白尿症候群でないとするとそれは手堅くて疑い始める fact5: その九十三参照は疑い始める fact6: この指定正味財産増減が手堅いとしたら探し易い一方で後景でない fact7: その九十三参照は疑い始めるとすると「この指定正味財産増減は探し易いがそれは後景でない」ということは成り立たない fact8: もし仮にその九十三参照が疑い始めるとしたらそれは手堅くない fact9: もし仮にあるものが信仰深くないなら無症候性血尿・蛋白尿症候群でない
void -> assump1: 以下のように仮定する。この指定正味財産増減は手堅い; fact6 & assump1 -> int1: 「この指定正味財産増減は探し易いがしかし後景でない」ということは真実である; fact7 & fact5 -> int2: 「この指定正味財産増減は探し易いがしかし後景でない」ということは事実でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この指定正味財産増減は手堅い
fact11 -> int4: もし仮に「その九十三参照は無症候性血尿・蛋白尿症候群でない」ということは事実ならば手堅くて加えて疑い始める; fact10 -> int5: もし仮に「その九十三参照は信仰深くない」ということは成り立つとするとそれは無症候性血尿・蛋白尿症候群でない;
$facts$ = fact1: もし仮にこの指定正味財産増減が疑い始めるとするとそれは探し易いということはない fact2: もしその九十三参照は疑い始めるなら「この指定正味財産増減は探し易くてまた後景である」ということは正しくない fact3: あの時代区分は疑い始める fact4: もしもとある物は無症候性血尿・蛋白尿症候群でないとするとそれは手堅くて疑い始める fact5: その九十三参照は疑い始める fact6: この指定正味財産増減が手堅いとしたら探し易い一方で後景でない fact7: その九十三参照は疑い始めるとすると「この指定正味財産増減は探し易いがそれは後景でない」ということは成り立たない fact8: もし仮にその九十三参照が疑い始めるとしたらそれは手堅くない fact9: もし仮にあるものが信仰深くないなら無症候性血尿・蛋白尿症候群でない ; $hypothesis$ = この指定正味財産増減は手堅い ; $proof$ = 
void -> assump1: 以下のように仮定する。この指定正味財産増減は手堅い; fact6 & assump1 -> int1: 「この指定正味財産増減は探し易いがしかし後景でない」ということは真実である; fact7 & fact5 -> int2: 「この指定正味財産増減は探し易いがしかし後景でない」ということは事実でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの指定正味財産増減が疑い始めるとするとそれは探し易いということはない
事実2: もしその九十三参照は疑い始めるなら「この指定正味財産増減は探し易くてまた後景である」ということは正しくない
事実3: あの時代区分は疑い始める
事実4: もしもとある物は無症候性血尿・蛋白尿症候群でないとするとそれは手堅くて疑い始める
事実5: その九十三参照は疑い始める
事実6: この指定正味財産増減が手堅いとしたら探し易い一方で後景でない
事実7: その九十三参照は疑い始めるとすると「この指定正味財産増減は探し易いがそれは後景でない」ということは成り立たない
事実8: もし仮にその九十三参照が疑い始めるとしたらそれは手堅くない
事実9: もし仮にあるものが信仰深くないなら無症候性血尿・蛋白尿症候群でない

仮説: この指定正味財産増減は手堅い
1. 仮定1: 以下のように仮定する。この指定正味財産増減は手堅い
2. 事実6と仮定1から、推論1: "「この指定正味財産増減は探し易いがしかし後景でない」ということは真実である"が導かれる
3. 事実7と事実5から、推論2: "「この指定正味財産増減は探し易いがしかし後景でない」ということは事実でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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