「あの勝ちが蓄積され易くないしさらに隠滅しない」ということは誤りだ
fact1: 「あの勝ちは蓄積され易いということはないけれど隠滅する」ということは間違っている fact2: もしもこの人馬は隠滅しないとすると「それは精出さなくておまけにそれは指定障害者支援施設等でない」ということは成り立つということはない fact3: もし仮に「あるものは精出さなくて指定障害者支援施設等でない」ということは誤りならば面倒臭い fact4: 面倒臭いものは蓄積され易くないし隠滅しない fact5: もし仮にこの人馬が娘らしいとすればそれは面倒臭くない fact6: もしもこの人馬は隠滅するとしたら「あの勝ちは蓄積され易いということはないしその上隠滅しない」ということは間違っている fact7: この人馬は娘らしい fact8: 「「この本草は見窄らしいということはないし更にそれは御近付くということはない」ということは成り立たない」ということは成り立つ
void -> assump1: 以下のように仮定する。この人馬は隠滅しない; fact2 & assump1 -> int1: 「この人馬は精出さなくてそれに指定障害者支援施設等でない」ということは偽である; fact3 -> int2: もし仮に「この人馬は精出さなくてまた指定障害者支援施設等でない」ということは成り立たないとしたらそれは面倒臭い; int1 & int2 -> int3: この人馬は面倒臭い; fact5 & fact7 -> int4: この人馬は面倒臭くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この人馬は隠滅する; int6 & fact6 -> hypothesis;
あの勝ちは蓄積され易くないしその上隠滅しない
fact9 -> int7: あの勝ちが面倒臭いならば蓄積され易いということはなくて隠滅しない;
$facts$ = fact1: 「あの勝ちは蓄積され易いということはないけれど隠滅する」ということは間違っている fact2: もしもこの人馬は隠滅しないとすると「それは精出さなくておまけにそれは指定障害者支援施設等でない」ということは成り立つということはない fact3: もし仮に「あるものは精出さなくて指定障害者支援施設等でない」ということは誤りならば面倒臭い fact4: 面倒臭いものは蓄積され易くないし隠滅しない fact5: もし仮にこの人馬が娘らしいとすればそれは面倒臭くない fact6: もしもこの人馬は隠滅するとしたら「あの勝ちは蓄積され易いということはないしその上隠滅しない」ということは間違っている fact7: この人馬は娘らしい fact8: 「「この本草は見窄らしいということはないし更にそれは御近付くということはない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「あの勝ちが蓄積され易くないしさらに隠滅しない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この人馬は隠滅しない; fact2 & assump1 -> int1: 「この人馬は精出さなくてそれに指定障害者支援施設等でない」ということは偽である; fact3 -> int2: もし仮に「この人馬は精出さなくてまた指定障害者支援施設等でない」ということは成り立たないとしたらそれは面倒臭い; int1 & int2 -> int3: この人馬は面倒臭い; fact5 & fact7 -> int4: この人馬は面倒臭くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この人馬は隠滅する; int6 & fact6 -> hypothesis; __PROVED__
事実1: 「あの勝ちは蓄積され易いということはないけれど隠滅する」ということは間違っている
事実2: もしもこの人馬は隠滅しないとすると「それは精出さなくておまけにそれは指定障害者支援施設等でない」ということは成り立つということはない
事実3: もし仮に「あるものは精出さなくて指定障害者支援施設等でない」ということは誤りならば面倒臭い
事実4: 面倒臭いものは蓄積され易くないし隠滅しない
事実5: もし仮にこの人馬が娘らしいとすればそれは面倒臭くない
事実6: もしもこの人馬は隠滅するとしたら「あの勝ちは蓄積され易いということはないしその上隠滅しない」ということは間違っている
事実7: この人馬は娘らしい
事実8: 「「この本草は見窄らしいということはないし更にそれは御近付くということはない」ということは成り立たない」ということは成り立つ

仮説: 「あの勝ちが蓄積され易くないしさらに隠滅しない」ということは誤りだ
1. 仮定1: 以下のように仮定する。この人馬は隠滅しない
2. 事実2と仮定1から、推論1: "「この人馬は精出さなくてそれに指定障害者支援施設等でない」ということは偽である"が導かれる
3. 事実3から、推論2: "もし仮に「この人馬は精出さなくてまた指定障害者支援施設等でない」ということは成り立たないとしたらそれは面倒臭い"が導かれる
4. 推論1と推論2から、推論3: "この人馬は面倒臭い"が導かれる
5. 事実5と事実7から、推論4: "この人馬は面倒臭くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この人馬は隠滅する"が導かれる
8. 推論6と事実6から、仮説が導かれる

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