「仮に「通じ難い」ということは成り立つなら晴れない」ものはある
fact1: 仮になにかはＩＮＤであるとすれば晴れない fact2: もしもあの所法が通じ難いならば遷延化しない fact3: 「もし仮に「通じ難い」ということは事実だとすると晴れる」物はある fact4: もし仮にあの所法が通じ難いとするとそれは晴れない fact5: もしもこの防盾は通じ難いとすれば「赤黒くない」ということは成り立つ fact6: もしもあの所法は通じ難いとすれば「それは晴れる」ということは確かである fact7: 「仮に出掛けるとすると準じない」ものはある fact8: もし仮にこのモデリングは大脳左半球であるならそれは通じ難くない fact9: 「もし「厨子だ」ということは本当だとすれば一章でない」ものはある fact10: あの所法が出し抜くならそれは通じ難くない fact11: もし「その第八図は晴れる」ということは正しいならそれは吟ぜない fact12: もし仮にあの所法が通じ合うとすればそれは通じ難くない
fact4 -> hypothesis;
「この柔ら構造はＩＮＤである」ということは確かであるならそれは晴れない
fact13 -> hypothesis;
$facts$ = fact1: 仮になにかはＩＮＤであるとすれば晴れない fact2: もしもあの所法が通じ難いならば遷延化しない fact3: 「もし仮に「通じ難い」ということは事実だとすると晴れる」物はある fact4: もし仮にあの所法が通じ難いとするとそれは晴れない fact5: もしもこの防盾は通じ難いとすれば「赤黒くない」ということは成り立つ fact6: もしもあの所法は通じ難いとすれば「それは晴れる」ということは確かである fact7: 「仮に出掛けるとすると準じない」ものはある fact8: もし仮にこのモデリングは大脳左半球であるならそれは通じ難くない fact9: 「もし「厨子だ」ということは本当だとすれば一章でない」ものはある fact10: あの所法が出し抜くならそれは通じ難くない fact11: もし「その第八図は晴れる」ということは正しいならそれは吟ぜない fact12: もし仮にあの所法が通じ合うとすればそれは通じ難くない ; $hypothesis$ = 「仮に「通じ難い」ということは成り立つなら晴れない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮になにかはＩＮＤであるとすれば晴れない
事実2: もしもあの所法が通じ難いならば遷延化しない
事実3: 「もし仮に「通じ難い」ということは事実だとすると晴れる」物はある
事実4: もし仮にあの所法が通じ難いとするとそれは晴れない
事実5: もしもこの防盾は通じ難いとすれば「赤黒くない」ということは成り立つ
事実6: もしもあの所法は通じ難いとすれば「それは晴れる」ということは確かである
事実7: 「仮に出掛けるとすると準じない」ものはある
事実8: もし仮にこのモデリングは大脳左半球であるならそれは通じ難くない
事実9: 「もし「厨子だ」ということは本当だとすれば一章でない」ものはある
事実10: あの所法が出し抜くならそれは通じ難くない
事実11: もし「その第八図は晴れる」ということは正しいならそれは吟ぜない
事実12: もし仮にあの所法が通じ合うとすればそれは通じ難くない

仮説: 「仮に「通じ難い」ということは成り立つなら晴れない」ものはある
1. 事実4から、仮説が導かれる

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