その筆遣いは遺体保管所だ
fact1: なにがしかのものが闘争するならそれは暮らし易い fact2: この分娩台は移れない fact3: もし仮に長しものが移れるとしたらそれは遺体保管所だということはない fact4: 「この出足は遺体保管所だし自治体側である」ということは成り立つということはない fact5: その筆遣いは強くないとすれば「この分娩台は強い」ということは成り立つ fact6: この分娩台は長しない fact7: その窮屈さは移れない fact8: 仮にその筆遣いは現地軍でないとするとそれはホームだ一方で自治体側でない fact9: 仮にこの出足が自治体側でないとするとその筆遣いは自治体側であるしかつホームだ fact10: 仮に強いものが美しなら自治体側でない fact11: もしもなんらかのものが長しとすると強くない fact12: なにがしかの物はホームだとしたら「遺体保管所だ」ということは誤りでない fact13: 仮にこの分娩台が強くないとしたらこの出足は強くて美し fact14: 「この出足は強い」ということは事実だ fact15: 「美し」ものはある fact16: もし仮に「なにかは移れるがしかし長しない」ということは成り立たないとすると「それは強いということはない」ということは本当だ fact17: ホームが自治体側でないとすればそれは移れる
void -> assump1: 以下のように仮定する。この分娩台は移れる一方で長しない; assump1 -> int1: この分娩台は移れる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この分娩台は移れるけれど長しない」ということは誤っている; fact16 -> int4: 「この分娩台は移れるが長しない」ということは成り立たないならば強くない; int3 & int4 -> int5: この分娩台は強くない; int5 & fact13 -> int6: この出足は強くて美し; fact10 -> int7: 仮にこの出足は強いし更に美しとしたら自治体側でない; int6 & int7 -> int8: この出足は自治体側でない; int8 & fact9 -> int9: その筆遣いは自治体側であるしまたホームである; int9 -> int10: その筆遣いはホームだ; fact12 -> int11: もし仮に「その筆遣いはホームだ」ということは本当であるならばそれは遺体保管所だ; int10 & int11 -> hypothesis;
その筆遣いは遺体保管所でない
fact18 -> int12: もし仮にその筆遣いは長ししそれに移れるとすればそれは遺体保管所でない; fact19 -> int13: もしその筆遣いがホームであるがそれは自治体側でないならばそれは移れる;
$facts$ = fact1: なにがしかのものが闘争するならそれは暮らし易い fact2: この分娩台は移れない fact3: もし仮に長しものが移れるとしたらそれは遺体保管所だということはない fact4: 「この出足は遺体保管所だし自治体側である」ということは成り立つということはない fact5: その筆遣いは強くないとすれば「この分娩台は強い」ということは成り立つ fact6: この分娩台は長しない fact7: その窮屈さは移れない fact8: 仮にその筆遣いは現地軍でないとするとそれはホームだ一方で自治体側でない fact9: 仮にこの出足が自治体側でないとするとその筆遣いは自治体側であるしかつホームだ fact10: 仮に強いものが美しなら自治体側でない fact11: もしもなんらかのものが長しとすると強くない fact12: なにがしかの物はホームだとしたら「遺体保管所だ」ということは誤りでない fact13: 仮にこの分娩台が強くないとしたらこの出足は強くて美し fact14: 「この出足は強い」ということは事実だ fact15: 「美し」ものはある fact16: もし仮に「なにかは移れるがしかし長しない」ということは成り立たないとすると「それは強いということはない」ということは本当だ fact17: ホームが自治体側でないとすればそれは移れる ; $hypothesis$ = その筆遣いは遺体保管所だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この分娩台は移れる一方で長しない; assump1 -> int1: この分娩台は移れる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この分娩台は移れるけれど長しない」ということは誤っている; fact16 -> int4: 「この分娩台は移れるが長しない」ということは成り立たないならば強くない; int3 & int4 -> int5: この分娩台は強くない; int5 & fact13 -> int6: この出足は強くて美し; fact10 -> int7: 仮にこの出足は強いし更に美しとしたら自治体側でない; int6 & int7 -> int8: この出足は自治体側でない; int8 & fact9 -> int9: その筆遣いは自治体側であるしまたホームである; int9 -> int10: その筆遣いはホームだ; fact12 -> int11: もし仮に「その筆遣いはホームだ」ということは本当であるならばそれは遺体保管所だ; int10 & int11 -> hypothesis; __PROVED__
事実1: なにがしかのものが闘争するならそれは暮らし易い
事実2: この分娩台は移れない
事実3: もし仮に長しものが移れるとしたらそれは遺体保管所だということはない
事実4: 「この出足は遺体保管所だし自治体側である」ということは成り立つということはない
事実5: その筆遣いは強くないとすれば「この分娩台は強い」ということは成り立つ
事実6: この分娩台は長しない
事実7: その窮屈さは移れない
事実8: 仮にその筆遣いは現地軍でないとするとそれはホームだ一方で自治体側でない
事実9: 仮にこの出足が自治体側でないとするとその筆遣いは自治体側であるしかつホームだ
事実10: 仮に強いものが美しなら自治体側でない
事実11: もしもなんらかのものが長しとすると強くない
事実12: なにがしかの物はホームだとしたら「遺体保管所だ」ということは誤りでない
事実13: 仮にこの分娩台が強くないとしたらこの出足は強くて美し
事実14: 「この出足は強い」ということは事実だ
事実15: 「美し」ものはある
事実16: もし仮に「なにかは移れるがしかし長しない」ということは成り立たないとすると「それは強いということはない」ということは本当だ
事実17: ホームが自治体側でないとすればそれは移れる

仮説: その筆遣いは遺体保管所だ
1. 仮定1: 以下のように仮定する。この分娩台は移れる一方で長しない
2. 仮定1から、推論1: "この分娩台は移れる"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この分娩台は移れるけれど長しない」ということは誤っている"が導かれる
5. 事実16から、推論4: "「この分娩台は移れるが長しない」ということは成り立たないならば強くない"が導かれる
6. 推論3と推論4から、推論5: "この分娩台は強くない"が導かれる
7. 推論5と事実13から、推論6: "この出足は強くて美し"が導かれる
8. 事実10から、推論7: "仮にこの出足は強いし更に美しとしたら自治体側でない"が導かれる
9. 推論6と推論7から、推論8: "この出足は自治体側でない"が導かれる
10. 推論8と事実9から、推論9: "その筆遣いは自治体側であるしまたホームである"が導かれる
11. 推論9から、推論10: "その筆遣いはホームだ"が導かれる
12. 事実12から、推論11: "もし仮に「その筆遣いはホームだ」ということは本当であるならばそれは遺体保管所だ"が導かれる
13. 推論10と推論11から、仮説が導かれる

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