「もし観世音寺であるとすれば御呪いな」ものはある
fact1: あの軽やかさは書き直す fact2: あの軽やかさは漏れ無い fact3: もしあの軽やかさが補償するならそれは書き難い fact4: 「仮に「算入出来る」ということは間違いでないならパーキンソン病な」物はある fact5: あの軽やかさは蒸し暑い fact6: あるものが放浪するとしたらそれは青臭い fact7: 仮にあの軽やかさは観世音寺であるとしたらそれは書き難い fact8: あの賞与は引き難い fact9: 「もし仮に心配するとすると掃除し易い」ものはある fact10: 仮にあの軽やかさが俗っぽいとすればそれは為出かす fact11: あの実習用が好ましとするとそれは御呪いである fact12: もし仮にその悪化は観世音寺であるとしたらそれは取り得る fact13: あの軽やかさは画質調整である fact14: 「もし図鑑であるならば練り味噌である」ものはある fact15: 「「もし仮に破れるとすれば集会室である」ものはある」ということは確かだ fact16: あの軽やかさはだらし無い fact17: あの軽やかさは連中であるとすると書き難い fact18: その次作はだらし無い fact19: もしも何かは書き難いとすれば御呪いである fact20: 「もし仮に七十一参照であるとしたら走行キロ数である」ものはある
void -> assump1: 以下のように仮定する。あの軽やかさは観世音寺である; fact7 & assump1 -> int1: あの軽やかさは書き難い; fact19 -> int2: もし仮にあの軽やかさが書き難いなら御呪いである; int1 & int2 -> int3: あの軽やかさは御呪いだ; [assump1] & int3 -> int4: あの軽やかさが観世音寺だとするとそれは御呪いである; int4 -> hypothesis;
$facts$ = fact1: あの軽やかさは書き直す fact2: あの軽やかさは漏れ無い fact3: もしあの軽やかさが補償するならそれは書き難い fact4: 「仮に「算入出来る」ということは間違いでないならパーキンソン病な」物はある fact5: あの軽やかさは蒸し暑い fact6: あるものが放浪するとしたらそれは青臭い fact7: 仮にあの軽やかさは観世音寺であるとしたらそれは書き難い fact8: あの賞与は引き難い fact9: 「もし仮に心配するとすると掃除し易い」ものはある fact10: 仮にあの軽やかさが俗っぽいとすればそれは為出かす fact11: あの実習用が好ましとするとそれは御呪いである fact12: もし仮にその悪化は観世音寺であるとしたらそれは取り得る fact13: あの軽やかさは画質調整である fact14: 「もし図鑑であるならば練り味噌である」ものはある fact15: 「「もし仮に破れるとすれば集会室である」ものはある」ということは確かだ fact16: あの軽やかさはだらし無い fact17: あの軽やかさは連中であるとすると書き難い fact18: その次作はだらし無い fact19: もしも何かは書き難いとすれば御呪いである fact20: 「もし仮に七十一参照であるとしたら走行キロ数である」ものはある ; $hypothesis$ = 「もし観世音寺であるとすれば御呪いな」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの軽やかさは観世音寺である; fact7 & assump1 -> int1: あの軽やかさは書き難い; fact19 -> int2: もし仮にあの軽やかさが書き難いなら御呪いである; int1 & int2 -> int3: あの軽やかさは御呪いだ; [assump1] & int3 -> int4: あの軽やかさが観世音寺だとするとそれは御呪いである; int4 -> hypothesis; __PROVED__
事実1: あの軽やかさは書き直す
事実2: あの軽やかさは漏れ無い
事実3: もしあの軽やかさが補償するならそれは書き難い
事実4: 「仮に「算入出来る」ということは間違いでないならパーキンソン病な」物はある
事実5: あの軽やかさは蒸し暑い
事実6: あるものが放浪するとしたらそれは青臭い
事実7: 仮にあの軽やかさは観世音寺であるとしたらそれは書き難い
事実8: あの賞与は引き難い
事実9: 「もし仮に心配するとすると掃除し易い」ものはある
事実10: 仮にあの軽やかさが俗っぽいとすればそれは為出かす
事実11: あの実習用が好ましとするとそれは御呪いである
事実12: もし仮にその悪化は観世音寺であるとしたらそれは取り得る
事実13: あの軽やかさは画質調整である
事実14: 「もし図鑑であるならば練り味噌である」ものはある
事実15: 「「もし仮に破れるとすれば集会室である」ものはある」ということは確かだ
事実16: あの軽やかさはだらし無い
事実17: あの軽やかさは連中であるとすると書き難い
事実18: その次作はだらし無い
事実19: もしも何かは書き難いとすれば御呪いである
事実20: 「もし仮に七十一参照であるとしたら走行キロ数である」ものはある

仮説: 「もし観世音寺であるとすれば御呪いな」ものはある
1. 仮定1: 以下のように仮定する。あの軽やかさは観世音寺である
2. 事実7と仮定1から、推論1: "あの軽やかさは書き難い"が導かれる
3. 事実19から、推論2: "もし仮にあの軽やかさが書き難いなら御呪いである"が導かれる
4. 推論1と推論2から、推論3: "あの軽やかさは御呪いだ"が導かれる
5. [仮定1]と推論3から、推論4: "あの軽やかさが観世音寺だとするとそれは御呪いである"が導かれる
6. 推論4から、仮説が導かれる

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