「胃体部であるかもしくは御落胤であるか両方ともであるとすると言い直すということはない」ものはある
fact1: 仮にその落葉樹は胃体部であるとすれば言い直すということはない fact2: 「もし仮に胃体部であるか御落胤であるかもしくはどちらもであるとしたら言い直す」ものはある fact3: 「御落胤なら言い直さない」ものはある fact4: 「もし仮にヘビーであるかもしくは実態把握であるかどちらもであるとすると逆切れしない」物はある fact5: 「もし「小走りするかもしくは期待し難いか両方である」ということは確かだとすると真ん丸くない」ものはある fact6: 「もし胃体部であるとすれば言い直さない」ものはある fact7: 「「仮に連想し易いかまたは清書するとすると上告人でない」物はある」ということは成り立つ fact8: 仮に何かは尤もらしいかまたは御落胤であるなら「それは打ち易くない」ということは成り立つ fact9: もしもその落葉樹が胃体部であるかまたは御落胤であるかどちらもならば「言い直す」ということは事実である fact10: その激音は胃体部であるかまたは東進するかもしくは両方だとしたらそれは談論風発しない fact11: 仮にその落葉樹が胃体部であるかあるいは御落胤であるかあるいはどちらもであるとしたらそれは言い直すということはない fact12: 「もし追い散らすかあるいは行われ易いかまたは両方だとすると親しくない」物はある fact13: 「「もし仮に「相談し易いかあるいは走行するかあるいはどちらもである」ということは成り立てば「アンモニア水でない」ということは本当な」ものはある」ということは成り立つ fact14: 「もし仮に居住者であるかまたは追い散らすかあるいは両方ともなら主張すらない」ものはある fact15: 「仮に本件判決であるかあるいは羽根飾りであるかもしくは両方だとすれば発赤しない」物はある fact16: 「あのヨーロッパ人が御落胤であるかまたはそれが交換頻度だとするとあのヨーロッパ人は葺かない」ということは事実だ fact17: もし仮に「このホーネットは翻転するかまたはそれは安全保障観であるか両方である」ということは真実であるとすれば現われ易くない fact18: その落葉樹が複数用意するかもしくはそれは無次元化するかどちらもならそれは御落胤でない fact19: 「仮に永代供養墓であるか真ん丸いか両方だとすると易しくない」ものはある
fact11 -> hypothesis;
もし仮にこの対支政策は尤もらしいかもしくは御落胤であるかもしくはどちらもであるとしたら打ち易くない
fact20 -> hypothesis;
$facts$ = fact1: 仮にその落葉樹は胃体部であるとすれば言い直すということはない fact2: 「もし仮に胃体部であるか御落胤であるかもしくはどちらもであるとしたら言い直す」ものはある fact3: 「御落胤なら言い直さない」ものはある fact4: 「もし仮にヘビーであるかもしくは実態把握であるかどちらもであるとすると逆切れしない」物はある fact5: 「もし「小走りするかもしくは期待し難いか両方である」ということは確かだとすると真ん丸くない」ものはある fact6: 「もし胃体部であるとすれば言い直さない」ものはある fact7: 「「仮に連想し易いかまたは清書するとすると上告人でない」物はある」ということは成り立つ fact8: 仮に何かは尤もらしいかまたは御落胤であるなら「それは打ち易くない」ということは成り立つ fact9: もしもその落葉樹が胃体部であるかまたは御落胤であるかどちらもならば「言い直す」ということは事実である fact10: その激音は胃体部であるかまたは東進するかもしくは両方だとしたらそれは談論風発しない fact11: 仮にその落葉樹が胃体部であるかあるいは御落胤であるかあるいはどちらもであるとしたらそれは言い直すということはない fact12: 「もし追い散らすかあるいは行われ易いかまたは両方だとすると親しくない」物はある fact13: 「「もし仮に「相談し易いかあるいは走行するかあるいはどちらもである」ということは成り立てば「アンモニア水でない」ということは本当な」ものはある」ということは成り立つ fact14: 「もし仮に居住者であるかまたは追い散らすかあるいは両方ともなら主張すらない」ものはある fact15: 「仮に本件判決であるかあるいは羽根飾りであるかもしくは両方だとすれば発赤しない」物はある fact16: 「あのヨーロッパ人が御落胤であるかまたはそれが交換頻度だとするとあのヨーロッパ人は葺かない」ということは事実だ fact17: もし仮に「このホーネットは翻転するかまたはそれは安全保障観であるか両方である」ということは真実であるとすれば現われ易くない fact18: その落葉樹が複数用意するかもしくはそれは無次元化するかどちらもならそれは御落胤でない fact19: 「仮に永代供養墓であるか真ん丸いか両方だとすると易しくない」ものはある ; $hypothesis$ = 「胃体部であるかもしくは御落胤であるか両方ともであるとすると言い直すということはない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 仮にその落葉樹は胃体部であるとすれば言い直すということはない
事実2: 「もし仮に胃体部であるか御落胤であるかもしくはどちらもであるとしたら言い直す」ものはある
事実3: 「御落胤なら言い直さない」ものはある
事実4: 「もし仮にヘビーであるかもしくは実態把握であるかどちらもであるとすると逆切れしない」物はある
事実5: 「もし「小走りするかもしくは期待し難いか両方である」ということは確かだとすると真ん丸くない」ものはある
事実6: 「もし胃体部であるとすれば言い直さない」ものはある
事実7: 「「仮に連想し易いかまたは清書するとすると上告人でない」物はある」ということは成り立つ
事実8: 仮に何かは尤もらしいかまたは御落胤であるなら「それは打ち易くない」ということは成り立つ
事実9: もしもその落葉樹が胃体部であるかまたは御落胤であるかどちらもならば「言い直す」ということは事実である
事実10: その激音は胃体部であるかまたは東進するかもしくは両方だとしたらそれは談論風発しない
事実11: 仮にその落葉樹が胃体部であるかあるいは御落胤であるかあるいはどちらもであるとしたらそれは言い直すということはない
事実12: 「もし追い散らすかあるいは行われ易いかまたは両方だとすると親しくない」物はある
事実13: 「「もし仮に「相談し易いかあるいは走行するかあるいはどちらもである」ということは成り立てば「アンモニア水でない」ということは本当な」ものはある」ということは成り立つ
事実14: 「もし仮に居住者であるかまたは追い散らすかあるいは両方ともなら主張すらない」ものはある
事実15: 「仮に本件判決であるかあるいは羽根飾りであるかもしくは両方だとすれば発赤しない」物はある
事実16: 「あのヨーロッパ人が御落胤であるかまたはそれが交換頻度だとするとあのヨーロッパ人は葺かない」ということは事実だ
事実17: もし仮に「このホーネットは翻転するかまたはそれは安全保障観であるか両方である」ということは真実であるとすれば現われ易くない
事実18: その落葉樹が複数用意するかもしくはそれは無次元化するかどちらもならそれは御落胤でない
事実19: 「仮に永代供養墓であるか真ん丸いか両方だとすると易しくない」ものはある

仮説: 「胃体部であるかもしくは御落胤であるか両方ともであるとすると言い直すということはない」ものはある
1. 事実11から、仮説が導かれる

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