「もし「プリンシプルだし上がれない」ということは成り立たないとすれば「見出だし難い」ということは成り立つ」ものはある
fact1: 仮に「この楽員は併記する一方で見出だし難くない」ということは正しくないとすれば偉い fact2: この万延元が見付け易いがしかし正常副甲状腺でないならそれは生活水準だ fact3: 「「もしも上がれるとしたら見出だし難い」物はある」ということは成り立つ fact4: 仮に「この万延元は上がれる」ということは成り立つなら見出だし難い fact5: もし仮に「とある物は見出だし難いけれどそれは出血し易くない」ということは成り立たないとすればそれは血腥い fact6: もしも「何らかの物はプリンシプルであるがしかしそれはセカンダリーでない」ということは間違いであるとすると照葉樹林である fact7: 「ＥＳＮＢでないとすれば数学教授な」ものはある fact8: 「もし仮にプリンシプルであるしそれに上がれないとしたら見出だし難い」物はある fact9: 「「その炉辺は見境無いけれど見出だし難いということはない」ということは間違いである」ということは間違っていないとすればそれは自分らしい fact10: 「もし「怖ーいし識別出来ない」ということは間違いならば来易い」ものはある fact11: もし仮に「とあるものは上がれる一方でそれは人工透析治療でない」ということは嘘ならばそれは貧乏臭い fact12: 「もし仮に挟み付けないなら「疾し」ということは事実な」物はある fact13: 「プリンシプルでないとしたら見出だし難い」物はある fact14: 「もし「喘ぐし自然治癒能力でない」ということは成り立たないとしたら分かり辛い」ものはある fact15: もしも「この万延元はプリンシプルだけれど上はれない」ということは成り立つということはないならそれは見出だし難い fact16: もしこの万延元がプリンシプルであるけれどそれが上がれないとすれば見出だし難い fact17: 「もしも「プリンシプルだしそれに上がれる」ということは成り立たないとすると見出だし難い」物はある
fact15 -> hypothesis;
もし「この逮捕者はプリンシプルであるがそれはセカンダリーでない」ということは本当でないとしたらそれは照葉樹林である
fact18 -> hypothesis;
$facts$ = fact1: 仮に「この楽員は併記する一方で見出だし難くない」ということは正しくないとすれば偉い fact2: この万延元が見付け易いがしかし正常副甲状腺でないならそれは生活水準だ fact3: 「「もしも上がれるとしたら見出だし難い」物はある」ということは成り立つ fact4: 仮に「この万延元は上がれる」ということは成り立つなら見出だし難い fact5: もし仮に「とある物は見出だし難いけれどそれは出血し易くない」ということは成り立たないとすればそれは血腥い fact6: もしも「何らかの物はプリンシプルであるがしかしそれはセカンダリーでない」ということは間違いであるとすると照葉樹林である fact7: 「ＥＳＮＢでないとすれば数学教授な」ものはある fact8: 「もし仮にプリンシプルであるしそれに上がれないとしたら見出だし難い」物はある fact9: 「「その炉辺は見境無いけれど見出だし難いということはない」ということは間違いである」ということは間違っていないとすればそれは自分らしい fact10: 「もし「怖ーいし識別出来ない」ということは間違いならば来易い」ものはある fact11: もし仮に「とあるものは上がれる一方でそれは人工透析治療でない」ということは嘘ならばそれは貧乏臭い fact12: 「もし仮に挟み付けないなら「疾し」ということは事実な」物はある fact13: 「プリンシプルでないとしたら見出だし難い」物はある fact14: 「もし「喘ぐし自然治癒能力でない」ということは成り立たないとしたら分かり辛い」ものはある fact15: もしも「この万延元はプリンシプルだけれど上はれない」ということは成り立つということはないならそれは見出だし難い fact16: もしこの万延元がプリンシプルであるけれどそれが上がれないとすれば見出だし難い fact17: 「もしも「プリンシプルだしそれに上がれる」ということは成り立たないとすると見出だし難い」物はある ; $hypothesis$ = 「もし「プリンシプルだし上がれない」ということは成り立たないとすれば「見出だし難い」ということは成り立つ」ものはある ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: 仮に「この楽員は併記する一方で見出だし難くない」ということは正しくないとすれば偉い
事実2: この万延元が見付け易いがしかし正常副甲状腺でないならそれは生活水準だ
事実3: 「「もしも上がれるとしたら見出だし難い」物はある」ということは成り立つ
事実4: 仮に「この万延元は上がれる」ということは成り立つなら見出だし難い
事実5: もし仮に「とある物は見出だし難いけれどそれは出血し易くない」ということは成り立たないとすればそれは血腥い
事実6: もしも「何らかの物はプリンシプルであるがしかしそれはセカンダリーでない」ということは間違いであるとすると照葉樹林である
事実7: 「ＥＳＮＢでないとすれば数学教授な」ものはある
事実8: 「もし仮にプリンシプルであるしそれに上がれないとしたら見出だし難い」物はある
事実9: 「「その炉辺は見境無いけれど見出だし難いということはない」ということは間違いである」ということは間違っていないとすればそれは自分らしい
事実10: 「もし「怖ーいし識別出来ない」ということは間違いならば来易い」ものはある
事実11: もし仮に「とあるものは上がれる一方でそれは人工透析治療でない」ということは嘘ならばそれは貧乏臭い
事実12: 「もし仮に挟み付けないなら「疾し」ということは事実な」物はある
事実13: 「プリンシプルでないとしたら見出だし難い」物はある
事実14: 「もし「喘ぐし自然治癒能力でない」ということは成り立たないとしたら分かり辛い」ものはある
事実15: もしも「この万延元はプリンシプルだけれど上はれない」ということは成り立つということはないならそれは見出だし難い
事実16: もしこの万延元がプリンシプルであるけれどそれが上がれないとすれば見出だし難い
事実17: 「もしも「プリンシプルだしそれに上がれる」ということは成り立たないとすると見出だし難い」物はある

仮説: 「もし「プリンシプルだし上がれない」ということは成り立たないとすれば「見出だし難い」ということは成り立つ」ものはある
1. 事実15から、仮説が導かれる

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