「「もしも「通法であるし都市計画決定するということはない」ということは事実と異なるとしたら抜け掛ける」ものはある」ということは確かである
fact1: 仮に「なにかは行き難いがしかし悪しくない」ということは偽ならば鑑賞し易い fact2: 「もし仮に通法でないとすれば抜け掛ける」ものはある fact3: もしこの御生みが遅らすならそれは達成し易い fact4: もし仮にこの御生みは都市計画決定すれば「「抜け掛けない」ということは成り立つ」ということは誤っている fact5: もしも「この御生みは通法だけれど都市計画決定しない」ということは成り立たないならばそれは抜け掛ける fact6: 「この開拓民達は都市計画決定するがしかし抗告でない」ということは成り立たないならそれは四観点用である fact7: 「もし「通法であるし更に都市計画決定する」ということは事実と異なるとすれば抜け掛ける」物はある fact8: 「仮に現われ難くないとしたら平たい」物はある fact9: 「持続期間であるとすれば七祖な」物はある fact10: 「この御生みが遣り易い一方で抜け掛けるということはないならばこの御生みは秘話である」ということは確かだ fact11: 「もし仮に「集まり易くて更に治山でない」ということは誤りであるとしたら金髪な」物はある fact12: 「もしも通法だけど都市計画決定するということはないとしたら抜け掛ける」ものはある fact13: もしも「あの内相は東西両陣営であるけれど押し揉むということはない」ということは偽ならばそれは搭載する fact14: 「もし都市計画決定するとしたら抜け掛ける」物はある fact15: 「もし仮に県官だがしかし夫婦らしくないなら晴々しい」物はある fact16: もしもこの御生みが遣り辛いとするとそれは合わせ易い fact17: もしも「この御生みは教え為さるがしかし現われ難くない」ということは誤りならそれは通法だ fact18: 「その前癌病変は商人らしいがそれは疲労し易くない」ということは確かであるならば通法である fact19: 「もし仮に行き難いがしかし心付けでないとすると変哲な」物はある fact20: もしもこの御生みは通法だ一方で都市計画決定しないとすれば「抜け掛ける」ということは正しい fact21: 「武威である一方で軽くないならＸＸＹな」物はある
fact5 -> hypothesis;
「もしも「行き難いが悪しいということはない」ということは間違いなら鑑賞し易い」ものはある
fact22 -> int1: もし「このプレー中は行き難いけれど悪しくない」ということは誤りであるならば鑑賞し易い; int1 -> hypothesis;
$facts$ = fact1: 仮に「なにかは行き難いがしかし悪しくない」ということは偽ならば鑑賞し易い fact2: 「もし仮に通法でないとすれば抜け掛ける」ものはある fact3: もしこの御生みが遅らすならそれは達成し易い fact4: もし仮にこの御生みは都市計画決定すれば「「抜け掛けない」ということは成り立つ」ということは誤っている fact5: もしも「この御生みは通法だけれど都市計画決定しない」ということは成り立たないならばそれは抜け掛ける fact6: 「この開拓民達は都市計画決定するがしかし抗告でない」ということは成り立たないならそれは四観点用である fact7: 「もし「通法であるし更に都市計画決定する」ということは事実と異なるとすれば抜け掛ける」物はある fact8: 「仮に現われ難くないとしたら平たい」物はある fact9: 「持続期間であるとすれば七祖な」物はある fact10: 「この御生みが遣り易い一方で抜け掛けるということはないならばこの御生みは秘話である」ということは確かだ fact11: 「もし仮に「集まり易くて更に治山でない」ということは誤りであるとしたら金髪な」物はある fact12: 「もしも通法だけど都市計画決定するということはないとしたら抜け掛ける」ものはある fact13: もしも「あの内相は東西両陣営であるけれど押し揉むということはない」ということは偽ならばそれは搭載する fact14: 「もし都市計画決定するとしたら抜け掛ける」物はある fact15: 「もし仮に県官だがしかし夫婦らしくないなら晴々しい」物はある fact16: もしもこの御生みが遣り辛いとするとそれは合わせ易い fact17: もしも「この御生みは教え為さるがしかし現われ難くない」ということは誤りならそれは通法だ fact18: 「その前癌病変は商人らしいがそれは疲労し易くない」ということは確かであるならば通法である fact19: 「もし仮に行き難いがしかし心付けでないとすると変哲な」物はある fact20: もしもこの御生みは通法だ一方で都市計画決定しないとすれば「抜け掛ける」ということは正しい fact21: 「武威である一方で軽くないならＸＸＹな」物はある ; $hypothesis$ = 「「もしも「通法であるし都市計画決定するということはない」ということは事実と異なるとしたら抜け掛ける」ものはある」ということは確かである ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 仮に「なにかは行き難いがしかし悪しくない」ということは偽ならば鑑賞し易い
事実2: 「もし仮に通法でないとすれば抜け掛ける」ものはある
事実3: もしこの御生みが遅らすならそれは達成し易い
事実4: もし仮にこの御生みは都市計画決定すれば「「抜け掛けない」ということは成り立つ」ということは誤っている
事実5: もしも「この御生みは通法だけれど都市計画決定しない」ということは成り立たないならばそれは抜け掛ける
事実6: 「この開拓民達は都市計画決定するがしかし抗告でない」ということは成り立たないならそれは四観点用である
事実7: 「もし「通法であるし更に都市計画決定する」ということは事実と異なるとすれば抜け掛ける」物はある
事実8: 「仮に現われ難くないとしたら平たい」物はある
事実9: 「持続期間であるとすれば七祖な」物はある
事実10: 「この御生みが遣り易い一方で抜け掛けるということはないならばこの御生みは秘話である」ということは確かだ
事実11: 「もし仮に「集まり易くて更に治山でない」ということは誤りであるとしたら金髪な」物はある
事実12: 「もしも通法だけど都市計画決定するということはないとしたら抜け掛ける」ものはある
事実13: もしも「あの内相は東西両陣営であるけれど押し揉むということはない」ということは偽ならばそれは搭載する
事実14: 「もし都市計画決定するとしたら抜け掛ける」物はある
事実15: 「もし仮に県官だがしかし夫婦らしくないなら晴々しい」物はある
事実16: もしもこの御生みが遣り辛いとするとそれは合わせ易い
事実17: もしも「この御生みは教え為さるがしかし現われ難くない」ということは誤りならそれは通法だ
事実18: 「その前癌病変は商人らしいがそれは疲労し易くない」ということは確かであるならば通法である
事実19: 「もし仮に行き難いがしかし心付けでないとすると変哲な」物はある
事実20: もしもこの御生みは通法だ一方で都市計画決定しないとすれば「抜け掛ける」ということは正しい
事実21: 「武威である一方で軽くないならＸＸＹな」物はある

仮説: 「「もしも「通法であるし都市計画決定するということはない」ということは事実と異なるとしたら抜け掛ける」ものはある」ということは確かである
1. 事実5から、仮説が導かれる

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