この盛り土は太り難くないとすれば「あの分業は合い難いしおまけに嘗め尽くす」ということは事実と異なる
fact1: 仮にあの分業は払い戻すということはないとすれば「この盛り土は嘗め尽くすしおまけに画集である」ということは誤っている fact2: もしこの盛り土は太り難いとしたら「それは払い戻すしおまけにそれは疑い深くない」ということは成り立たない fact3: この盛り土は合い難いということはないとしたら「それは嘗め尽くすけれど払い戻さない」ということは確かでない fact4: もし「この盛り土は太り難い」ということは成り立たないならば「払い戻すし疑い深くない」ということは成り立たない fact5: この盛り土は太り難いとしたら「あの分業は合い難いしそれは嘗め尽くす」ということは真実でない fact6: 仮に「この盛り土は払い戻す一方で嘗め尽くさない」ということは間違いだとするとそれは合い難くない fact7: 何らかの物が払い戻さないならそれは画集でない fact8: もし仮にこの盛り土は疑い深くないとすれば「あの分業は嘗め尽くすしその上太り難い」ということは偽である fact9: もし仮にあの分業は払い戻さないならば「この盛り土は合い難くてそれに画集である」ということは事実と異なる fact10: もしこの盛り土は疑い深くないなら「それは払い戻すし嘗め尽くさない」ということは確かだということはない fact11: もし「何らかのものは嘗め尽くすけど太り難いということはない」ということは成り立たないなら疑い深くない fact12: もし仮にあの分業は合い難くないとしたら「この盛り土は嘗め尽くすしさらに疑い深い」ということは誤っている fact13: もしも「「何らかのものは払い戻すけれど疑い深くない」ということは成り立つ」ということは成り立たないならば画集でない fact14: 「もし仮にこの盛り土が払い戻さないとしたらこの盛り土は画集でない」ということは本当だ fact15: この盛り土は口汚くない fact16: この盛り土は画集だということはないとしたら「あの分業は合い難くてそれに嘗め尽くす」ということは事実と異なる fact17: もしも「ある物は払い戻す一方で太り難くない」ということは誤りであるならばそれは画集でない fact18: もし仮にこの盛り土は太り難くないとしたら「あの分業は合い難いししかもそれは嘗め尽くす」ということは事実だ
void -> assump1: 以下のように仮定する。この盛り土は太り難くない; fact4 & assump1 -> int1: 「この盛り土は払い戻す一方でそれは疑い深くない」ということは成り立つということはない; fact13 -> int2: もしも「この盛り土は払い戻すが疑い深くない」ということは成り立たないなら画集でない; int1 & int2 -> int3: この盛り土は画集であるということはない; int3 & fact16 -> int4: 「あの分業は合い難くて更に嘗め尽くす」ということは間違っている; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮にあの分業は払い戻すということはないとすれば「この盛り土は嘗め尽くすしおまけに画集である」ということは誤っている fact2: もしこの盛り土は太り難いとしたら「それは払い戻すしおまけにそれは疑い深くない」ということは成り立たない fact3: この盛り土は合い難いということはないとしたら「それは嘗め尽くすけれど払い戻さない」ということは確かでない fact4: もし「この盛り土は太り難い」ということは成り立たないならば「払い戻すし疑い深くない」ということは成り立たない fact5: この盛り土は太り難いとしたら「あの分業は合い難いしそれは嘗め尽くす」ということは真実でない fact6: 仮に「この盛り土は払い戻す一方で嘗め尽くさない」ということは間違いだとするとそれは合い難くない fact7: 何らかの物が払い戻さないならそれは画集でない fact8: もし仮にこの盛り土は疑い深くないとすれば「あの分業は嘗め尽くすしその上太り難い」ということは偽である fact9: もし仮にあの分業は払い戻さないならば「この盛り土は合い難くてそれに画集である」ということは事実と異なる fact10: もしこの盛り土は疑い深くないなら「それは払い戻すし嘗め尽くさない」ということは確かだということはない fact11: もし「何らかのものは嘗め尽くすけど太り難いということはない」ということは成り立たないなら疑い深くない fact12: もし仮にあの分業は合い難くないとしたら「この盛り土は嘗め尽くすしさらに疑い深い」ということは誤っている fact13: もしも「「何らかのものは払い戻すけれど疑い深くない」ということは成り立つ」ということは成り立たないならば画集でない fact14: 「もし仮にこの盛り土が払い戻さないとしたらこの盛り土は画集でない」ということは本当だ fact15: この盛り土は口汚くない fact16: この盛り土は画集だということはないとしたら「あの分業は合い難くてそれに嘗め尽くす」ということは事実と異なる fact17: もしも「ある物は払い戻す一方で太り難くない」ということは誤りであるならばそれは画集でない fact18: もし仮にこの盛り土は太り難くないとしたら「あの分業は合い難いししかもそれは嘗め尽くす」ということは事実だ ; $hypothesis$ = この盛り土は太り難くないとすれば「あの分業は合い難いしおまけに嘗め尽くす」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この盛り土は太り難くない; fact4 & assump1 -> int1: 「この盛り土は払い戻す一方でそれは疑い深くない」ということは成り立つということはない; fact13 -> int2: もしも「この盛り土は払い戻すが疑い深くない」ということは成り立たないなら画集でない; int1 & int2 -> int3: この盛り土は画集であるということはない; int3 & fact16 -> int4: 「あの分業は合い難くて更に嘗め尽くす」ということは間違っている; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にあの分業は払い戻すということはないとすれば「この盛り土は嘗め尽くすしおまけに画集である」ということは誤っている
事実2: もしこの盛り土は太り難いとしたら「それは払い戻すしおまけにそれは疑い深くない」ということは成り立たない
事実3: この盛り土は合い難いということはないとしたら「それは嘗め尽くすけれど払い戻さない」ということは確かでない
事実4: もし「この盛り土は太り難い」ということは成り立たないならば「払い戻すし疑い深くない」ということは成り立たない
事実5: この盛り土は太り難いとしたら「あの分業は合い難いしそれは嘗め尽くす」ということは真実でない
事実6: 仮に「この盛り土は払い戻す一方で嘗め尽くさない」ということは間違いだとするとそれは合い難くない
事実7: 何らかの物が払い戻さないならそれは画集でない
事実8: もし仮にこの盛り土は疑い深くないとすれば「あの分業は嘗め尽くすしその上太り難い」ということは偽である
事実9: もし仮にあの分業は払い戻さないならば「この盛り土は合い難くてそれに画集である」ということは事実と異なる
事実10: もしこの盛り土は疑い深くないなら「それは払い戻すし嘗め尽くさない」ということは確かだということはない
事実11: もし「何らかのものは嘗め尽くすけど太り難いということはない」ということは成り立たないなら疑い深くない
事実12: もし仮にあの分業は合い難くないとしたら「この盛り土は嘗め尽くすしさらに疑い深い」ということは誤っている
事実13: もしも「「何らかのものは払い戻すけれど疑い深くない」ということは成り立つ」ということは成り立たないならば画集でない
事実14: 「もし仮にこの盛り土が払い戻さないとしたらこの盛り土は画集でない」ということは本当だ
事実15: この盛り土は口汚くない
事実16: この盛り土は画集だということはないとしたら「あの分業は合い難くてそれに嘗め尽くす」ということは事実と異なる
事実17: もしも「ある物は払い戻す一方で太り難くない」ということは誤りであるならばそれは画集でない
事実18: もし仮にこの盛り土は太り難くないとしたら「あの分業は合い難いししかもそれは嘗め尽くす」ということは事実だ

仮説: この盛り土は太り難くないとすれば「あの分業は合い難いしおまけに嘗め尽くす」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この盛り土は太り難くない
2. 事実4と仮定1から、推論1: "「この盛り土は払い戻す一方でそれは疑い深くない」ということは成り立つということはない"が導かれる
3. 事実13から、推論2: "もしも「この盛り土は払い戻すが疑い深くない」ということは成り立たないなら画集でない"が導かれる
4. 推論1と推論2から、推論3: "この盛り土は画集であるということはない"が導かれる
5. 推論3と事実16から、推論4: "「あの分業は合い難くて更に嘗め尽くす」ということは間違っている"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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