その肺移植はアプローチし易くないし生い立たない
fact1: もしもあの天白磐座が心房筋でないとしたらあの深淵は十全である fact2: もし仮にあの深淵がアプローチし易いかまたは賛成し難くないかあるいは両方ともならばその肺移植はアプローチし易くない fact3: その肺移植は悪条件だ fact4: 管理し易くない物は直り切らないけれどひくつく fact5: あの天白磐座が補償しないとするとあの深淵は悪条件であるかあるいは管理し易いか両方ともだ fact6: あの天白磐座は十全であるか補償するかまたは両方ともである fact7: 仮に「「聳えるしその上暮らし易い」ということは確かでない」物があるとしたらその二重唱は管理し易くない fact8: もし仮に「「生い立たなくて更に悪条件である」ということは誤っている」物があるならばあの九第四項は管理し易くない fact9: もし仮に「補償しないし賛成し難くない」ものはあるとすれば「その二重唱はアプローチし易い」ということは本当だ fact10: 仮にあるものが十全だとしたら補償しなくてかつ賛成し難くない fact11: 仮にその肺移植が悪条件だしかつそれがひくつくとすればそれは生い立たない fact12: その二重唱はアプローチし易いとすれば「「その肺移植は生い立たないがそれは悪条件である」ということは正しい」ということは成り立たない fact13: あの深淵はアプローチし易いか賛成し難くないか両方ともである fact14: その肺移植は暮らし易いかもしくは十全だ fact15: 考え難いものは仁王立ちしなくて気怠くらない fact16: 「「射るしかつ引き出し易い」ということは事実と異なる」物があるとするとあの深淵は賛成し難くない fact17: 仮にあの天白磐座が十全ならその二重唱は管理し易い fact18: この土取り場は考え難い fact19: 「あの天白磐座は十全であるしそれに悪条件だ」ということは偽だ fact20: もし仮にあの深淵が悪条件で更にそれがアプローチし易いとすればそれはひくつかない fact21: 仮にその肺移植はひくつかないとすると「それは聳えるしそれにそれは暮らし易い」ということは間違いである fact22: もしもあの天白磐座が補償するとするとその二重唱は管理し易い
void -> assump1: 以下のように仮定する。その肺移植はひくつかない; fact21 & assump1 -> int1: 「その肺移植は聳えるし加えて暮らし易い」ということは誤りである; int1 -> int2: 「「聳えるししかも暮らし易い」ということは誤りである」ものはある; int2 & fact7 -> int3: その二重唱は管理し易くない; fact22 & fact6 & fact17 -> int4: その二重唱は管理し易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その肺移植はひくつく; int6 & fact3 -> int7: その肺移植は悪条件でそれにそれはひくつく; int7 & fact11 -> int8: その肺移植は生い立つということはない; fact13 & fact2 -> int9: その肺移植はアプローチし易くない; int8 & int9 -> hypothesis;
「その肺移植はアプローチし易くないし生い立たない」ということは嘘だ
$facts$ = fact1: もしもあの天白磐座が心房筋でないとしたらあの深淵は十全である fact2: もし仮にあの深淵がアプローチし易いかまたは賛成し難くないかあるいは両方ともならばその肺移植はアプローチし易くない fact3: その肺移植は悪条件だ fact4: 管理し易くない物は直り切らないけれどひくつく fact5: あの天白磐座が補償しないとするとあの深淵は悪条件であるかあるいは管理し易いか両方ともだ fact6: あの天白磐座は十全であるか補償するかまたは両方ともである fact7: 仮に「「聳えるしその上暮らし易い」ということは確かでない」物があるとしたらその二重唱は管理し易くない fact8: もし仮に「「生い立たなくて更に悪条件である」ということは誤っている」物があるならばあの九第四項は管理し易くない fact9: もし仮に「補償しないし賛成し難くない」ものはあるとすれば「その二重唱はアプローチし易い」ということは本当だ fact10: 仮にあるものが十全だとしたら補償しなくてかつ賛成し難くない fact11: 仮にその肺移植が悪条件だしかつそれがひくつくとすればそれは生い立たない fact12: その二重唱はアプローチし易いとすれば「「その肺移植は生い立たないがそれは悪条件である」ということは正しい」ということは成り立たない fact13: あの深淵はアプローチし易いか賛成し難くないか両方ともである fact14: その肺移植は暮らし易いかもしくは十全だ fact15: 考え難いものは仁王立ちしなくて気怠くらない fact16: 「「射るしかつ引き出し易い」ということは事実と異なる」物があるとするとあの深淵は賛成し難くない fact17: 仮にあの天白磐座が十全ならその二重唱は管理し易い fact18: この土取り場は考え難い fact19: 「あの天白磐座は十全であるしそれに悪条件だ」ということは偽だ fact20: もし仮にあの深淵が悪条件で更にそれがアプローチし易いとすればそれはひくつかない fact21: 仮にその肺移植はひくつかないとすると「それは聳えるしそれにそれは暮らし易い」ということは間違いである fact22: もしもあの天白磐座が補償するとするとその二重唱は管理し易い ; $hypothesis$ = その肺移植はアプローチし易くないし生い立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その肺移植はひくつかない; fact21 & assump1 -> int1: 「その肺移植は聳えるし加えて暮らし易い」ということは誤りである; int1 -> int2: 「「聳えるししかも暮らし易い」ということは誤りである」ものはある; int2 & fact7 -> int3: その二重唱は管理し易くない; fact22 & fact6 & fact17 -> int4: その二重唱は管理し易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その肺移植はひくつく; int6 & fact3 -> int7: その肺移植は悪条件でそれにそれはひくつく; int7 & fact11 -> int8: その肺移植は生い立つということはない; fact13 & fact2 -> int9: その肺移植はアプローチし易くない; int8 & int9 -> hypothesis; __PROVED__
事実1: もしもあの天白磐座が心房筋でないとしたらあの深淵は十全である
事実2: もし仮にあの深淵がアプローチし易いかまたは賛成し難くないかあるいは両方ともならばその肺移植はアプローチし易くない
事実3: その肺移植は悪条件だ
事実4: 管理し易くない物は直り切らないけれどひくつく
事実5: あの天白磐座が補償しないとするとあの深淵は悪条件であるかあるいは管理し易いか両方ともだ
事実6: あの天白磐座は十全であるか補償するかまたは両方ともである
事実7: 仮に「「聳えるしその上暮らし易い」ということは確かでない」物があるとしたらその二重唱は管理し易くない
事実8: もし仮に「「生い立たなくて更に悪条件である」ということは誤っている」物があるならばあの九第四項は管理し易くない
事実9: もし仮に「補償しないし賛成し難くない」ものはあるとすれば「その二重唱はアプローチし易い」ということは本当だ
事実10: 仮にあるものが十全だとしたら補償しなくてかつ賛成し難くない
事実11: 仮にその肺移植が悪条件だしかつそれがひくつくとすればそれは生い立たない
事実12: その二重唱はアプローチし易いとすれば「「その肺移植は生い立たないがそれは悪条件である」ということは正しい」ということは成り立たない
事実13: あの深淵はアプローチし易いか賛成し難くないか両方ともである
事実14: その肺移植は暮らし易いかもしくは十全だ
事実15: 考え難いものは仁王立ちしなくて気怠くらない
事実16: 「「射るしかつ引き出し易い」ということは事実と異なる」物があるとするとあの深淵は賛成し難くない
事実17: 仮にあの天白磐座が十全ならその二重唱は管理し易い
事実18: この土取り場は考え難い
事実19: 「あの天白磐座は十全であるしそれに悪条件だ」ということは偽だ
事実20: もし仮にあの深淵が悪条件で更にそれがアプローチし易いとすればそれはひくつかない
事実21: 仮にその肺移植はひくつかないとすると「それは聳えるしそれにそれは暮らし易い」ということは間違いである
事実22: もしもあの天白磐座が補償するとするとその二重唱は管理し易い

仮説: その肺移植はアプローチし易くないし生い立たない
1. 仮定1: 以下のように仮定する。その肺移植はひくつかない
2. 事実21と仮定1から、推論1: "「その肺移植は聳えるし加えて暮らし易い」ということは誤りである"が導かれる
3. 推論1から、推論2: "「「聳えるししかも暮らし易い」ということは誤りである」ものはある"が導かれる
4. 推論2と事実7から、推論3: "その二重唱は管理し易くない"が導かれる
5. 事実22と事実6と事実17から、推論4: "その二重唱は管理し易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その肺移植はひくつく"が導かれる
8. 推論6と事実3から、推論7: "その肺移植は悪条件でそれにそれはひくつく"が導かれる
9. 推論7と事実11から、推論8: "その肺移植は生い立つということはない"が導かれる
10. 事実13と事実2から、推論9: "その肺移植はアプローチし易くない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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