「もし仮に有り難しとすると掛け替えないしまた大台でない」物はある
fact1: 「もしも懐妊すれば飛び掛からない」物はある fact2: 「もしも生けるなら商規だが足指でない」ものはある fact3: もし仮にこの神曲が有り難しとすればそれは大台でない fact4: 仮に「この神曲は飛行機らしい」ということは真実だとするとそれは情け深いがしかし俗っぽくない fact5: 水酸は受け入れ難いが小賢しくない fact6: ポカリスエットは御頼みする一方で犯し易くない fact7: もし仮にあの優先権が軽々しいなら大台でない fact8: 仮にこの神曲が有り難しとしたらそれが掛け替えるしその上それは大台だということはない fact9: もしこの神曲が外リンパ液であるとすると大台でないしその上見据えない fact10: 汚いものは示せる一方で妬ましくない fact11: 「仮に有り難しとすると掛け替えるしまた大台でない」物はある fact12: もしも何らかの物が有り難しなら大台でない fact13: 「もし仮に汚いなら引き起こし易くないしその上嘆願しない」ものはある fact14: もし仮に「この神曲はアセットパネルだ」ということは正しいならば「それは不足し易くない」ということは事実だ fact15: 「工業化社会であるとすれば製造し始めないしおまけに黒しない」物はある fact16: もし仮に何らかのものが有り難しとすると掛け替えないしまた大台でない fact17: 「もし行き着けるなら「関東地方以西であるということはない」ということは成り立つ」物はある fact18: 「仮に有り難しとすれば大台でない」物はある
fact16 -> int1: 仮にこの神曲が有り難しとしたら掛け替えないしそれは大台であるということはない; int1 -> hypothesis;
$facts$ = fact1: 「もしも懐妊すれば飛び掛からない」物はある fact2: 「もしも生けるなら商規だが足指でない」ものはある fact3: もし仮にこの神曲が有り難しとすればそれは大台でない fact4: 仮に「この神曲は飛行機らしい」ということは真実だとするとそれは情け深いがしかし俗っぽくない fact5: 水酸は受け入れ難いが小賢しくない fact6: ポカリスエットは御頼みする一方で犯し易くない fact7: もし仮にあの優先権が軽々しいなら大台でない fact8: 仮にこの神曲が有り難しとしたらそれが掛け替えるしその上それは大台だということはない fact9: もしこの神曲が外リンパ液であるとすると大台でないしその上見据えない fact10: 汚いものは示せる一方で妬ましくない fact11: 「仮に有り難しとすると掛け替えるしまた大台でない」物はある fact12: もしも何らかの物が有り難しなら大台でない fact13: 「もし仮に汚いなら引き起こし易くないしその上嘆願しない」ものはある fact14: もし仮に「この神曲はアセットパネルだ」ということは正しいならば「それは不足し易くない」ということは事実だ fact15: 「工業化社会であるとすれば製造し始めないしおまけに黒しない」物はある fact16: もし仮に何らかのものが有り難しとすると掛け替えないしまた大台でない fact17: 「もし行き着けるなら「関東地方以西であるということはない」ということは成り立つ」物はある fact18: 「仮に有り難しとすれば大台でない」物はある ; $hypothesis$ = 「もし仮に有り難しとすると掛け替えないしまた大台でない」物はある ; $proof$ = 
fact16 -> int1: 仮にこの神曲が有り難しとしたら掛け替えないしそれは大台であるということはない; int1 -> hypothesis; __PROVED__
事実1: 「もしも懐妊すれば飛び掛からない」物はある
事実2: 「もしも生けるなら商規だが足指でない」ものはある
事実3: もし仮にこの神曲が有り難しとすればそれは大台でない
事実4: 仮に「この神曲は飛行機らしい」ということは真実だとするとそれは情け深いがしかし俗っぽくない
事実5: 水酸は受け入れ難いが小賢しくない
事実6: ポカリスエットは御頼みする一方で犯し易くない
事実7: もし仮にあの優先権が軽々しいなら大台でない
事実8: 仮にこの神曲が有り難しとしたらそれが掛け替えるしその上それは大台だということはない
事実9: もしこの神曲が外リンパ液であるとすると大台でないしその上見据えない
事実10: 汚いものは示せる一方で妬ましくない
事実11: 「仮に有り難しとすると掛け替えるしまた大台でない」物はある
事実12: もしも何らかの物が有り難しなら大台でない
事実13: 「もし仮に汚いなら引き起こし易くないしその上嘆願しない」ものはある
事実14: もし仮に「この神曲はアセットパネルだ」ということは正しいならば「それは不足し易くない」ということは事実だ
事実15: 「工業化社会であるとすれば製造し始めないしおまけに黒しない」物はある
事実16: もし仮に何らかのものが有り難しとすると掛け替えないしまた大台でない
事実17: 「もし行き着けるなら「関東地方以西であるということはない」ということは成り立つ」物はある
事実18: 「仮に有り難しとすれば大台でない」物はある

仮説: 「もし仮に有り難しとすると掛け替えないしまた大台でない」物はある
1. 事実16から、推論1: "仮にこの神曲が有り難しとしたら掛け替えないしそれは大台であるということはない"が導かれる
2. 推論1から、仮説が導かれる

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