その寄与分は書き易い
fact1: もしもあの秋空は和歌懐紙であるならば「そのＨＺは共有化するかまたは書き易くないかあるいは両方ともだ」ということは間違っている fact2: 仮に何らかの物が撤回するということはないとすればそれは生まれ落ちる fact3: このへぼは生まれ落ちないがしかし間近い fact4: この反発は間近くない fact5: このへぼは補修しない fact6: 仮にそのＨＺは和歌懐紙であるなら「その寄与分は書き易い」ということは真実だ fact7: その寄与分は撤回するということはない fact8: もしあの秋空は共有化しないとしたら「この十年度は膨隆するしかつ洗い上げる」ということは成り立たない fact9: このへぼが思慮深いしおまけに膨隆するならばあのＨＺは生まれ落ちるということはない fact10: もし仮にある物が膨隆しないとすると洗い上げるしそれは和歌懐紙だ fact11: この十年度は思慮深くないけれど洗い上げる fact12: このへぼは生まれ落ちない一方で共有化する fact13: 仮にそのＨＺが残り難くないが思慮深いならあの秋空は共有化しない fact14: そのＨＺは生まれ落ちないが思慮深い fact15: もしそのＨＺが残り難いということはないとしたらそれは共有化するということはない fact16: もしもこのへぼは思慮深くないとすると「そのＨＺが和歌懐紙だし生まれ落ちる」ということは間違っている fact17: そのＨＺは和歌懐紙でないならばそれは残り難くないが思慮深い fact18: もしもこのへぼが生まれ落ちないけれど間近いとすればあの十年度は生まれ落ちない fact19: もし「なんらかのものは膨隆するしまたそれは洗い上げる」ということは偽であるとすれば「それは撤回するということはない」ということは事実である fact20: もしも「「そのＨＺは共有化するかあるいはそれは書き易くない」ということは確かだ」ということは成り立たないとするとその寄与分は書き易くない
void -> assump1: 以下のように仮定する。そのＨＺは和歌懐紙でない; fact17 & assump1 -> int1: そのＨＺは残り難くないがしかし思慮深い; int1 & fact13 -> int2: あの秋空は共有化しない; int2 & fact8 -> int3: 「この十年度は膨隆するし洗い上げる」ということは成り立つということはない; fact19 -> int4: もし「この十年度は膨隆するしそれは洗い上げる」ということは成り立たないなら撤回しない; int3 & int4 -> int5: この十年度は撤回しない; fact2 -> int6: 仮にこの十年度が撤回しないならばそれは生まれ落ちる; int5 & int6 -> int7: 「この十年度は生まれ落ちる」ということは正しい; fact18 & fact3 -> int8: 「この十年度は生まれ落ちない」ということは成り立つ; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: そのＨＺは和歌懐紙だ; int10 & fact6 -> hypothesis;
その寄与分は書き易くない
fact21 -> int11: 「もし仮にあの秋空が膨隆しないならばあの秋空は洗い上げるしそれは和歌懐紙である」ということは真実だ;
$facts$ = fact1: もしもあの秋空は和歌懐紙であるならば「そのＨＺは共有化するかまたは書き易くないかあるいは両方ともだ」ということは間違っている fact2: 仮に何らかの物が撤回するということはないとすればそれは生まれ落ちる fact3: このへぼは生まれ落ちないがしかし間近い fact4: この反発は間近くない fact5: このへぼは補修しない fact6: 仮にそのＨＺは和歌懐紙であるなら「その寄与分は書き易い」ということは真実だ fact7: その寄与分は撤回するということはない fact8: もしあの秋空は共有化しないとしたら「この十年度は膨隆するしかつ洗い上げる」ということは成り立たない fact9: このへぼが思慮深いしおまけに膨隆するならばあのＨＺは生まれ落ちるということはない fact10: もし仮にある物が膨隆しないとすると洗い上げるしそれは和歌懐紙だ fact11: この十年度は思慮深くないけれど洗い上げる fact12: このへぼは生まれ落ちない一方で共有化する fact13: 仮にそのＨＺが残り難くないが思慮深いならあの秋空は共有化しない fact14: そのＨＺは生まれ落ちないが思慮深い fact15: もしそのＨＺが残り難いということはないとしたらそれは共有化するということはない fact16: もしもこのへぼは思慮深くないとすると「そのＨＺが和歌懐紙だし生まれ落ちる」ということは間違っている fact17: そのＨＺは和歌懐紙でないならばそれは残り難くないが思慮深い fact18: もしもこのへぼが生まれ落ちないけれど間近いとすればあの十年度は生まれ落ちない fact19: もし「なんらかのものは膨隆するしまたそれは洗い上げる」ということは偽であるとすれば「それは撤回するということはない」ということは事実である fact20: もしも「「そのＨＺは共有化するかあるいはそれは書き易くない」ということは確かだ」ということは成り立たないとするとその寄与分は書き易くない ; $hypothesis$ = その寄与分は書き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＨＺは和歌懐紙でない; fact17 & assump1 -> int1: そのＨＺは残り難くないがしかし思慮深い; int1 & fact13 -> int2: あの秋空は共有化しない; int2 & fact8 -> int3: 「この十年度は膨隆するし洗い上げる」ということは成り立つということはない; fact19 -> int4: もし「この十年度は膨隆するしそれは洗い上げる」ということは成り立たないなら撤回しない; int3 & int4 -> int5: この十年度は撤回しない; fact2 -> int6: 仮にこの十年度が撤回しないならばそれは生まれ落ちる; int5 & int6 -> int7: 「この十年度は生まれ落ちる」ということは正しい; fact18 & fact3 -> int8: 「この十年度は生まれ落ちない」ということは成り立つ; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: そのＨＺは和歌懐紙だ; int10 & fact6 -> hypothesis; __PROVED__
事実1: もしもあの秋空は和歌懐紙であるならば「そのＨＺは共有化するかまたは書き易くないかあるいは両方ともだ」ということは間違っている
事実2: 仮に何らかの物が撤回するということはないとすればそれは生まれ落ちる
事実3: このへぼは生まれ落ちないがしかし間近い
事実4: この反発は間近くない
事実5: このへぼは補修しない
事実6: 仮にそのＨＺは和歌懐紙であるなら「その寄与分は書き易い」ということは真実だ
事実7: その寄与分は撤回するということはない
事実8: もしあの秋空は共有化しないとしたら「この十年度は膨隆するしかつ洗い上げる」ということは成り立たない
事実9: このへぼが思慮深いしおまけに膨隆するならばあのＨＺは生まれ落ちるということはない
事実10: もし仮にある物が膨隆しないとすると洗い上げるしそれは和歌懐紙だ
事実11: この十年度は思慮深くないけれど洗い上げる
事実12: このへぼは生まれ落ちない一方で共有化する
事実13: 仮にそのＨＺが残り難くないが思慮深いならあの秋空は共有化しない
事実14: そのＨＺは生まれ落ちないが思慮深い
事実15: もしそのＨＺが残り難いということはないとしたらそれは共有化するということはない
事実16: もしもこのへぼは思慮深くないとすると「そのＨＺが和歌懐紙だし生まれ落ちる」ということは間違っている
事実17: そのＨＺは和歌懐紙でないならばそれは残り難くないが思慮深い
事実18: もしもこのへぼが生まれ落ちないけれど間近いとすればあの十年度は生まれ落ちない
事実19: もし「なんらかのものは膨隆するしまたそれは洗い上げる」ということは偽であるとすれば「それは撤回するということはない」ということは事実である
事実20: もしも「「そのＨＺは共有化するかあるいはそれは書き易くない」ということは確かだ」ということは成り立たないとするとその寄与分は書き易くない

仮説: その寄与分は書き易い
1. 仮定1: 以下のように仮定する。そのＨＺは和歌懐紙でない
2. 事実17と仮定1から、推論1: "そのＨＺは残り難くないがしかし思慮深い"が導かれる
3. 推論1と事実13から、推論2: "あの秋空は共有化しない"が導かれる
4. 推論2と事実8から、推論3: "「この十年度は膨隆するし洗い上げる」ということは成り立つということはない"が導かれる
5. 事実19から、推論4: "もし「この十年度は膨隆するしそれは洗い上げる」ということは成り立たないなら撤回しない"が導かれる
6. 推論3と推論4から、推論5: "この十年度は撤回しない"が導かれる
7. 事実2から、推論6: "仮にこの十年度が撤回しないならばそれは生まれ落ちる"が導かれる
8. 推論5と推論6から、推論7: "「この十年度は生まれ落ちる」ということは正しい"が導かれる
9. 事実18と事実3から、推論8: "「この十年度は生まれ落ちない」ということは成り立つ"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "そのＨＺは和歌懐紙だ"が導かれる
12. 推論10と事実6から、仮説が導かれる

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