「仮に天然元素だということはないとすると思い立つ」ものはある
fact1: なにかは天然元素でないならそれは思い立つ fact2: 「仮に受領すらないならばすっごい」物はある fact3: 「もしも「静養しない」ということは本当であるとすれば「ページ全体だ」ということは確かな」ものはある fact4: 「もしも宣しないとすれば「回収する」ということは真実である」ものはある fact5: 「もしモンキースパナだということはないとしたら母親らしい」ものはある fact6: 仮にこの中薬が天然元素ならば思い立つ fact7: 「もし仮に完全燃焼しないならば出易い」ものはある fact8: 何らかの物はプロ入りでないならばそれは成ず fact9: 「もしも種類株主総会でないならば「宣する」ということは真実な」物はある fact10: もし仮にその男女雇用均等法は比較研究でないとしたらそれは冷え易い fact11: 「「工業性でない」ということは成り立つとすると派する」ものはある fact12: 「もしもページ全体でないならば利き目である」物はある fact13: 「もし天然元素であるとすれば思い立つ」ものはある fact14: もしもとあるものが天然元素だとすると思い立つ
fact1 -> int1: もしも「この中薬は天然元素でない」ということは確かであるならばそれは思い立つ; int1 -> hypothesis;
$facts$ = fact1: なにかは天然元素でないならそれは思い立つ fact2: 「仮に受領すらないならばすっごい」物はある fact3: 「もしも「静養しない」ということは本当であるとすれば「ページ全体だ」ということは確かな」ものはある fact4: 「もしも宣しないとすれば「回収する」ということは真実である」ものはある fact5: 「もしモンキースパナだということはないとしたら母親らしい」ものはある fact6: 仮にこの中薬が天然元素ならば思い立つ fact7: 「もし仮に完全燃焼しないならば出易い」ものはある fact8: 何らかの物はプロ入りでないならばそれは成ず fact9: 「もしも種類株主総会でないならば「宣する」ということは真実な」物はある fact10: もし仮にその男女雇用均等法は比較研究でないとしたらそれは冷え易い fact11: 「「工業性でない」ということは成り立つとすると派する」ものはある fact12: 「もしもページ全体でないならば利き目である」物はある fact13: 「もし天然元素であるとすれば思い立つ」ものはある fact14: もしもとあるものが天然元素だとすると思い立つ ; $hypothesis$ = 「仮に天然元素だということはないとすると思い立つ」ものはある ; $proof$ = 
fact1 -> int1: もしも「この中薬は天然元素でない」ということは確かであるならばそれは思い立つ; int1 -> hypothesis; __PROVED__
事実1: なにかは天然元素でないならそれは思い立つ
事実2: 「仮に受領すらないならばすっごい」物はある
事実3: 「もしも「静養しない」ということは本当であるとすれば「ページ全体だ」ということは確かな」ものはある
事実4: 「もしも宣しないとすれば「回収する」ということは真実である」ものはある
事実5: 「もしモンキースパナだということはないとしたら母親らしい」ものはある
事実6: 仮にこの中薬が天然元素ならば思い立つ
事実7: 「もし仮に完全燃焼しないならば出易い」ものはある
事実8: 何らかの物はプロ入りでないならばそれは成ず
事実9: 「もしも種類株主総会でないならば「宣する」ということは真実な」物はある
事実10: もし仮にその男女雇用均等法は比較研究でないとしたらそれは冷え易い
事実11: 「「工業性でない」ということは成り立つとすると派する」ものはある
事実12: 「もしもページ全体でないならば利き目である」物はある
事実13: 「もし天然元素であるとすれば思い立つ」ものはある
事実14: もしもとあるものが天然元素だとすると思い立つ

仮説: 「仮に天然元素だということはないとすると思い立つ」ものはある
1. 事実1から、推論1: "もしも「この中薬は天然元素でない」ということは確かであるならばそれは思い立つ"が導かれる
2. 推論1から、仮説が導かれる

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