「雨滴だとすると「急接近しないししかも随喜するということはない」ということは事実と異なる」物はある
fact1: そのＤＥは雨滴であるとすれば「急接近しないし随喜するということはない」ということは誤っていない fact2: もしも何かは甲高いとすると「それはふてぶてしくなくてかつ上り尽くさない」ということは間違いである fact3: もし仮にそのＤＥは雨滴であるとすると「急接近しないししかも随喜する」ということは成り立たない fact4: 「もし仮に移動し易いならば「物しないし加えて御遺族でない」ということは間違っている」物はある fact5: そのＤＥは雨滴だとすれば「急接近しないしかつそれは随喜しない」ということは確かでない fact6: 「仮に雨滴であるとすると「急接近しないがしかし随喜する」ということは正しくない」ものはある fact7: 「もしも雨滴だとすれば急接近しないしかつ随喜しない」物はある fact8: 「もしも「雨滴だ」ということは確かであるとすると「急接近するしその上随喜しない」ということは事実でない」物はある fact9: 「もしも太り易いとすると「晴らせなくておまけにコントロールし易くない」ということは成り立つということはない」物はある fact10: 「もし仮に直器であるとしたら「斬首しなくてその上資本ｋでない」ということは嘘な」物はある fact11: 仮にこの作業終了時は帳簿上であるならば「急接近しないし絶縁しない」ということは間違っている fact12: そのＤＥは雨滴であるとすると「それは急接近するしそれにそれは随喜しない」ということは正しくない fact13: 「もし「レコーディングだ」ということは成り立つとしたら「苛々し易くないし加えて手伝いでない」ということは成り立つということはない」物はある
fact5 -> hypothesis;
「仮に甲高いとしたら「ふてぶてしくなくて上り尽くさない」ということは成り立たない」物はある
fact14 -> int1: もし仮にこの十万億土は甲高いなら「それはふてぶてしいということはないしまた上り尽くさない」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: そのＤＥは雨滴であるとすれば「急接近しないし随喜するということはない」ということは誤っていない fact2: もしも何かは甲高いとすると「それはふてぶてしくなくてかつ上り尽くさない」ということは間違いである fact3: もし仮にそのＤＥは雨滴であるとすると「急接近しないししかも随喜する」ということは成り立たない fact4: 「もし仮に移動し易いならば「物しないし加えて御遺族でない」ということは間違っている」物はある fact5: そのＤＥは雨滴だとすれば「急接近しないしかつそれは随喜しない」ということは確かでない fact6: 「仮に雨滴であるとすると「急接近しないがしかし随喜する」ということは正しくない」ものはある fact7: 「もしも雨滴だとすれば急接近しないしかつ随喜しない」物はある fact8: 「もしも「雨滴だ」ということは確かであるとすると「急接近するしその上随喜しない」ということは事実でない」物はある fact9: 「もしも太り易いとすると「晴らせなくておまけにコントロールし易くない」ということは成り立つということはない」物はある fact10: 「もし仮に直器であるとしたら「斬首しなくてその上資本ｋでない」ということは嘘な」物はある fact11: 仮にこの作業終了時は帳簿上であるならば「急接近しないし絶縁しない」ということは間違っている fact12: そのＤＥは雨滴であるとすると「それは急接近するしそれにそれは随喜しない」ということは正しくない fact13: 「もし「レコーディングだ」ということは成り立つとしたら「苛々し易くないし加えて手伝いでない」ということは成り立つということはない」物はある ; $hypothesis$ = 「雨滴だとすると「急接近しないししかも随喜するということはない」ということは事実と異なる」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: そのＤＥは雨滴であるとすれば「急接近しないし随喜するということはない」ということは誤っていない
事実2: もしも何かは甲高いとすると「それはふてぶてしくなくてかつ上り尽くさない」ということは間違いである
事実3: もし仮にそのＤＥは雨滴であるとすると「急接近しないししかも随喜する」ということは成り立たない
事実4: 「もし仮に移動し易いならば「物しないし加えて御遺族でない」ということは間違っている」物はある
事実5: そのＤＥは雨滴だとすれば「急接近しないしかつそれは随喜しない」ということは確かでない
事実6: 「仮に雨滴であるとすると「急接近しないがしかし随喜する」ということは正しくない」ものはある
事実7: 「もしも雨滴だとすれば急接近しないしかつ随喜しない」物はある
事実8: 「もしも「雨滴だ」ということは確かであるとすると「急接近するしその上随喜しない」ということは事実でない」物はある
事実9: 「もしも太り易いとすると「晴らせなくておまけにコントロールし易くない」ということは成り立つということはない」物はある
事実10: 「もし仮に直器であるとしたら「斬首しなくてその上資本ｋでない」ということは嘘な」物はある
事実11: 仮にこの作業終了時は帳簿上であるならば「急接近しないし絶縁しない」ということは間違っている
事実12: そのＤＥは雨滴であるとすると「それは急接近するしそれにそれは随喜しない」ということは正しくない
事実13: 「もし「レコーディングだ」ということは成り立つとしたら「苛々し易くないし加えて手伝いでない」ということは成り立つということはない」物はある

仮説: 「雨滴だとすると「急接近しないししかも随喜するということはない」ということは事実と異なる」物はある
1. 事実5から、仮説が導かれる

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