「もし仮に取得し易くないかまたは広がり始めないとすると直り難い」物はある
fact1: 「仮に親らしくないかまたは御助けするかまたは両方ともであるとすれば聞き辛い」ものはある fact2: もし仮にその分散投資が取得し易くないかあるいは広がり始めないか両方ともだとすると「それは直り難い」ということは成り立つ fact3: 「仮に取得し易くないかあるいは広がり始めるかあるいはどちらもなら直り難い」ものはある fact4: 「もし仮に「珍しがらない」ということは真実ならば納車する」物はある fact5: 「仮に消臭しないかあるいは汚らしいということはないならば権力機構である」ものはある fact6: もしその分散投資が取得し易いということはないかまたはそれは広がり始めるかまたは両方であるとすれば直り難い fact7: 「もし取得し易いかまたは広がり始めないなら直り難い」ものはある fact8: もしも何かは御助けしないかまたは伝わり難くないかもしくは両方ともなら同一主題である fact9: 「仮にとろ臭いということはないならば接続形式な」物はある fact10: もし仮にその分散投資は感慨深くないか父親らしいということはないかまたは両方だとすると「それは上がり易い」ということは事実だ fact11: もし仮にあの幼児グループが肉付けするということはないかもしくはそれが建築学会だということはないなら御占い場である fact12: もし何らかのものが小勢でないかもしくは斜線部分でないかどちらもであるとすればそれは青し fact13: 「もし仮に広がり始めるということはないなら直り難い」ものはある fact14: 「もしも公魚でないかあるいは延滞するということはないとしたら大牧温泉である」ものはある fact15: 「もし浸漬しないか創造物でないならば堆い」物はある fact16: 「もしも「取得し易いということはない」ということは正しいならば直り難い」物はある fact17: もし仮になんらかのものが誤らないかまたはそれが懐かしくないとしたらそれは後らしい fact18: もし仮にその分散投資が取得し易いということはないならばそれは直り難い
fact2 -> hypothesis;
「仮に小勢でないかまたは斜線部分でないかもしくはどちらもであるとすれば「青し」ということは確かな」物はある
fact19 -> int1: もしもこのテラコッタが小勢でないかまたは斜線部分でないか両方だとすれば青し; int1 -> hypothesis;
$facts$ = fact1: 「仮に親らしくないかまたは御助けするかまたは両方ともであるとすれば聞き辛い」ものはある fact2: もし仮にその分散投資が取得し易くないかあるいは広がり始めないか両方ともだとすると「それは直り難い」ということは成り立つ fact3: 「仮に取得し易くないかあるいは広がり始めるかあるいはどちらもなら直り難い」ものはある fact4: 「もし仮に「珍しがらない」ということは真実ならば納車する」物はある fact5: 「仮に消臭しないかあるいは汚らしいということはないならば権力機構である」ものはある fact6: もしその分散投資が取得し易いということはないかまたはそれは広がり始めるかまたは両方であるとすれば直り難い fact7: 「もし取得し易いかまたは広がり始めないなら直り難い」ものはある fact8: もしも何かは御助けしないかまたは伝わり難くないかもしくは両方ともなら同一主題である fact9: 「仮にとろ臭いということはないならば接続形式な」物はある fact10: もし仮にその分散投資は感慨深くないか父親らしいということはないかまたは両方だとすると「それは上がり易い」ということは事実だ fact11: もし仮にあの幼児グループが肉付けするということはないかもしくはそれが建築学会だということはないなら御占い場である fact12: もし何らかのものが小勢でないかもしくは斜線部分でないかどちらもであるとすればそれは青し fact13: 「もし仮に広がり始めるということはないなら直り難い」ものはある fact14: 「もしも公魚でないかあるいは延滞するということはないとしたら大牧温泉である」ものはある fact15: 「もし浸漬しないか創造物でないならば堆い」物はある fact16: 「もしも「取得し易いということはない」ということは正しいならば直り難い」物はある fact17: もし仮になんらかのものが誤らないかまたはそれが懐かしくないとしたらそれは後らしい fact18: もし仮にその分散投資が取得し易いということはないならばそれは直り難い ; $hypothesis$ = 「もし仮に取得し易くないかまたは広がり始めないとすると直り難い」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「仮に親らしくないかまたは御助けするかまたは両方ともであるとすれば聞き辛い」ものはある
事実2: もし仮にその分散投資が取得し易くないかあるいは広がり始めないか両方ともだとすると「それは直り難い」ということは成り立つ
事実3: 「仮に取得し易くないかあるいは広がり始めるかあるいはどちらもなら直り難い」ものはある
事実4: 「もし仮に「珍しがらない」ということは真実ならば納車する」物はある
事実5: 「仮に消臭しないかあるいは汚らしいということはないならば権力機構である」ものはある
事実6: もしその分散投資が取得し易いということはないかまたはそれは広がり始めるかまたは両方であるとすれば直り難い
事実7: 「もし取得し易いかまたは広がり始めないなら直り難い」ものはある
事実8: もしも何かは御助けしないかまたは伝わり難くないかもしくは両方ともなら同一主題である
事実9: 「仮にとろ臭いということはないならば接続形式な」物はある
事実10: もし仮にその分散投資は感慨深くないか父親らしいということはないかまたは両方だとすると「それは上がり易い」ということは事実だ
事実11: もし仮にあの幼児グループが肉付けするということはないかもしくはそれが建築学会だということはないなら御占い場である
事実12: もし何らかのものが小勢でないかもしくは斜線部分でないかどちらもであるとすればそれは青し
事実13: 「もし仮に広がり始めるということはないなら直り難い」ものはある
事実14: 「もしも公魚でないかあるいは延滞するということはないとしたら大牧温泉である」ものはある
事実15: 「もし浸漬しないか創造物でないならば堆い」物はある
事実16: 「もしも「取得し易いということはない」ということは正しいならば直り難い」物はある
事実17: もし仮になんらかのものが誤らないかまたはそれが懐かしくないとしたらそれは後らしい
事実18: もし仮にその分散投資が取得し易いということはないならばそれは直り難い

仮説: 「もし仮に取得し易くないかまたは広がり始めないとすると直り難い」物はある
1. 事実2から、仮説が導かれる

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