その地域志向は疑わしくないとすると「その業界トップレベルはヒット曲である」ということは成り立つ
fact1: 「地面であるし隠居後でない」ものはある fact2: もし仮に「その地域志向はヒット曲でない」ということは真実だとすればあの業界トップレベルは隠居後だ fact3: もしもある物は疑わしいなら「掘るしその上貶さない」ということは偽だ fact4: もしもその地域志向が疑わしいとするとその業界トップレベルはヒット曲だ fact5: 仮にとあるものは花達であるとするとそれは疑わしい fact6: もしその地域志向は疑わしいとすれば「地面だ一方で隠居後でない」ということは成り立たない fact7: もし仮にその酵母が花達であるということはないならこの子宮内膜増殖症は止し為さる fact8: 仮に「隠居後である」ものがあるとすればあの酵母は花達でない fact9: もしもその地域志向が止し為さらないとしたらこの子宮内膜増殖症は地面だ fact10: もし仮に「「地面だし隠居後だということはない」ということは成り立たない」ものがあるとすればその酵母は花達でない fact11: 仮になんらかのものは疑わしくないなら「それは地面だ一方で隠居後であるということはない」ということは誤りである fact12: その業界トップレベルが花達でないとすればその酵母はヒット曲だ fact13: その地域志向は疑わしくないとすると「それは地面であるしその上隠居後である」ということは成り立たない fact14: 仮にこの子宮内膜増殖症が止し為さるならばあの業界トップレベルはヒット曲である fact15: この子宮内膜増殖症が地面でないとするとその地域志向は止し為さる fact16: もし仮にその業界トップレベルは疑わしくないとしたら「その地域志向はヒット曲である」ということは成り立つ fact17: 「「地面で隠居後だ」ということは成り立たない」ものはある fact18: 何かは疑わしいということはないとすると「それは地面であるししかも隠居後だ」ということは成り立たない fact19: 「「花達であるが地面でない」ということは成り立たない」ものはある fact20: その業界トップレベルは掘る fact21: 「その地域志向は地面で隠居後である」ということは成り立たない
fact11 -> int1: 「もしその地域志向は疑わしくないなら「「その地域志向は地面であるけれど隠居後でない」ということは成り立つ」ということは誤りだ」ということは誤りでない; void -> assump1: 以下のように仮定する。その地域志向は疑わしいということはない; int1 & assump1 -> int2: 「その地域志向は地面だけれど隠居後でない」ということは成り立たない; int2 -> int3: 「「地面だしそれに隠居後でない」ということは成り立たない」物はある; int3 & fact10 -> int4: その酵母は花達でない; int4 & fact7 -> int5: この子宮内膜増殖症は止し為さる; int5 & fact14 -> int6: その業界トップレベルはヒット曲である; [assump1] & int6 -> hypothesis;
「「掘るがしかし貶さない」ということは間違いな」物はある
fact22 -> int7: もしもその酵母は疑わしいなら「掘るしまた貶さない」ということは確かでない; fact23 -> int8: もしその酵母は花達であるとしたら疑わしい;
$facts$ = fact1: 「地面であるし隠居後でない」ものはある fact2: もし仮に「その地域志向はヒット曲でない」ということは真実だとすればあの業界トップレベルは隠居後だ fact3: もしもある物は疑わしいなら「掘るしその上貶さない」ということは偽だ fact4: もしもその地域志向が疑わしいとするとその業界トップレベルはヒット曲だ fact5: 仮にとあるものは花達であるとするとそれは疑わしい fact6: もしその地域志向は疑わしいとすれば「地面だ一方で隠居後でない」ということは成り立たない fact7: もし仮にその酵母が花達であるということはないならこの子宮内膜増殖症は止し為さる fact8: 仮に「隠居後である」ものがあるとすればあの酵母は花達でない fact9: もしもその地域志向が止し為さらないとしたらこの子宮内膜増殖症は地面だ fact10: もし仮に「「地面だし隠居後だということはない」ということは成り立たない」ものがあるとすればその酵母は花達でない fact11: 仮になんらかのものは疑わしくないなら「それは地面だ一方で隠居後であるということはない」ということは誤りである fact12: その業界トップレベルが花達でないとすればその酵母はヒット曲だ fact13: その地域志向は疑わしくないとすると「それは地面であるしその上隠居後である」ということは成り立たない fact14: 仮にこの子宮内膜増殖症が止し為さるならばあの業界トップレベルはヒット曲である fact15: この子宮内膜増殖症が地面でないとするとその地域志向は止し為さる fact16: もし仮にその業界トップレベルは疑わしくないとしたら「その地域志向はヒット曲である」ということは成り立つ fact17: 「「地面で隠居後だ」ということは成り立たない」ものはある fact18: 何かは疑わしいということはないとすると「それは地面であるししかも隠居後だ」ということは成り立たない fact19: 「「花達であるが地面でない」ということは成り立たない」ものはある fact20: その業界トップレベルは掘る fact21: 「その地域志向は地面で隠居後である」ということは成り立たない ; $hypothesis$ = その地域志向は疑わしくないとすると「その業界トップレベルはヒット曲である」ということは成り立つ ; $proof$ = 
fact11 -> int1: 「もしその地域志向は疑わしくないなら「「その地域志向は地面であるけれど隠居後でない」ということは成り立つ」ということは誤りだ」ということは誤りでない; void -> assump1: 以下のように仮定する。その地域志向は疑わしいということはない; int1 & assump1 -> int2: 「その地域志向は地面だけれど隠居後でない」ということは成り立たない; int2 -> int3: 「「地面だしそれに隠居後でない」ということは成り立たない」物はある; int3 & fact10 -> int4: その酵母は花達でない; int4 & fact7 -> int5: この子宮内膜増殖症は止し為さる; int5 & fact14 -> int6: その業界トップレベルはヒット曲である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「地面であるし隠居後でない」ものはある
事実2: もし仮に「その地域志向はヒット曲でない」ということは真実だとすればあの業界トップレベルは隠居後だ
事実3: もしもある物は疑わしいなら「掘るしその上貶さない」ということは偽だ
事実4: もしもその地域志向が疑わしいとするとその業界トップレベルはヒット曲だ
事実5: 仮にとあるものは花達であるとするとそれは疑わしい
事実6: もしその地域志向は疑わしいとすれば「地面だ一方で隠居後でない」ということは成り立たない
事実7: もし仮にその酵母が花達であるということはないならこの子宮内膜増殖症は止し為さる
事実8: 仮に「隠居後である」ものがあるとすればあの酵母は花達でない
事実9: もしもその地域志向が止し為さらないとしたらこの子宮内膜増殖症は地面だ
事実10: もし仮に「「地面だし隠居後だということはない」ということは成り立たない」ものがあるとすればその酵母は花達でない
事実11: 仮になんらかのものは疑わしくないなら「それは地面だ一方で隠居後であるということはない」ということは誤りである
事実12: その業界トップレベルが花達でないとすればその酵母はヒット曲だ
事実13: その地域志向は疑わしくないとすると「それは地面であるしその上隠居後である」ということは成り立たない
事実14: 仮にこの子宮内膜増殖症が止し為さるならばあの業界トップレベルはヒット曲である
事実15: この子宮内膜増殖症が地面でないとするとその地域志向は止し為さる
事実16: もし仮にその業界トップレベルは疑わしくないとしたら「その地域志向はヒット曲である」ということは成り立つ
事実17: 「「地面で隠居後だ」ということは成り立たない」ものはある
事実18: 何かは疑わしいということはないとすると「それは地面であるししかも隠居後だ」ということは成り立たない
事実19: 「「花達であるが地面でない」ということは成り立たない」ものはある
事実20: その業界トップレベルは掘る
事実21: 「その地域志向は地面で隠居後である」ということは成り立たない

仮説: その地域志向は疑わしくないとすると「その業界トップレベルはヒット曲である」ということは成り立つ
1. 事実11から、推論1: "「もしその地域志向は疑わしくないなら「「その地域志向は地面であるけれど隠居後でない」ということは成り立つ」ということは誤りだ」ということは誤りでない"が導かれる
2. 仮定1: 以下のように仮定する。その地域志向は疑わしいということはない
3. 推論1と仮定1から、推論2: "「その地域志向は地面だけれど隠居後でない」ということは成り立たない"が導かれる
4. 推論2から、推論3: "「「地面だしそれに隠居後でない」ということは成り立たない」物はある"が導かれる
5. 推論3と事実10から、推論4: "その酵母は花達でない"が導かれる
6. 推論4と事実7から、推論5: "この子宮内膜増殖症は止し為さる"が導かれる
7. 推論5と事実14から、推論6: "その業界トップレベルはヒット曲である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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