「もしブロスならＳＵＢでない」ものはある
fact1: もしもその空気層がブロスだとするとそれはＳＵＢだ fact2: その空気層がＳＵＢだとすればそれは米株式市場でない fact3: 「「もしも屈臂するとすると済ま無いということはない」ものはある」ということは真実である fact4: 「ブロスだとしたらＳＵＢである」ものはある fact5: もしもその空気層が集合するとすれば癒着しない fact6: 「屈折するとすれば促進しない」ものはある fact7: 「もし仮に逮捕・勾留中だとしたら先帝でない」ものはある fact8: 「小汚いものはＳＵＢでない」ということは正しい fact9: もし仮に何らかの物は左右され易いならば「流され易くない」ということは本当である fact10: その空気層が下車するならそれは木目調でない fact11: その空気層が免れるとしたら大湯でない fact12: 「仮に皇子であるとすると人間っぽくない」物はある fact13: 「ピースサインであるなら分裂状態であるということはない」物はある fact14: もしもあるものは西人であるとするとそれは探求でない fact15: もしその空気層がブロスだとすればＳＵＢでない fact16: 「もし「事務管理である」ということは成り立つとするとにたにたしない」物はある fact17: 「仮に譲り渡せば「「改心する」ということは間違っている」ということは本当である」ものはある fact18: もしこの技術情報がＳＵＢだとしたら呼称であるということはない fact19: この益金はＱメールであるとしたら要求でない
fact15 -> 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$ = 
fact15 -> hypothesis; __PROVED__
事実1: もしもその空気層がブロスだとするとそれはＳＵＢだ
事実2: その空気層がＳＵＢだとすればそれは米株式市場でない
事実3: 「「もしも屈臂するとすると済ま無いということはない」ものはある」ということは真実である
事実4: 「ブロスだとしたらＳＵＢである」ものはある
事実5: もしもその空気層が集合するとすれば癒着しない
事実6: 「屈折するとすれば促進しない」ものはある
事実7: 「もし仮に逮捕・勾留中だとしたら先帝でない」ものはある
事実8: 「小汚いものはＳＵＢでない」ということは正しい
事実9: もし仮に何らかの物は左右され易いならば「流され易くない」ということは本当である
事実10: その空気層が下車するならそれは木目調でない
事実11: その空気層が免れるとしたら大湯でない
事実12: 「仮に皇子であるとすると人間っぽくない」物はある
事実13: 「ピースサインであるなら分裂状態であるということはない」物はある
事実14: もしもあるものは西人であるとするとそれは探求でない
事実15: もしその空気層がブロスだとすればＳＵＢでない
事実16: 「もし「事務管理である」ということは成り立つとするとにたにたしない」物はある
事実17: 「仮に譲り渡せば「「改心する」ということは間違っている」ということは本当である」ものはある
事実18: もしこの技術情報がＳＵＢだとしたら呼称であるということはない
事実19: この益金はＱメールであるとしたら要求でない

仮説: 「もしブロスならＳＵＢでない」ものはある
1. 事実15から、仮説が導かれる

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