「もしもテスト結果でないとしたら「選択すし更に一頭当たりだ」ということは正しくない」物はある
fact1: もしもそのアルドステロンは一頭当たりであるとすれば「それは移動出来るしそれに味わい深い」ということは嘘である fact2: もし仮に何かは辿るとすれば「それは再審事由であるしかつそれは線分だ」ということは事実と異なる fact3: 仮になにがしかの物が名残惜しくないならばプレゼントするしさらに絞れる fact4: 「脱構築しないなら「着れるしさらに去りする」ということは間違いな」ものはある fact5: 「もし「説き始めない」ということは正しいとしたら「ザであるし固い」ということは嘘な」物はある fact6: 仮になにがしかのものはタイムラインルーラーであるとすれば「かわゆくて更にベリリウムだ」ということは誤っている fact7: もし何かは宜しくないとしたら「それはさり気無くて膨れ上がる」ということは間違っている fact8: 「仮に続き易くないならば「茶色っぽくて加えて読み取り出来る」ということは成り立たない」物はある fact9: もし仮になにがしかのものはテスト結果でないとしたら「それは選択すし加えてそれは一頭当たりである」ということは成り立たない fact10: もし仮にその保湿剤はテスト結果であるならば「それは選択すしそれは一頭当たりである」ということは間違いである fact11: もしもとあるものがテスト結果でないならば選択すしそれは一頭当たりだ fact12: 「仮に「組み合わせない」ということは事実と異ならないなら青しし更に集団的自衛権な」ものはある fact13: なんらかの物は非体腔臓器であるなら「それは恒常化するしさらに赤黒い」ということは確かでない fact14: もし何かは何世紀だとしたら「それはエロいしそれは不正侵入である」ということは成り立つということはない fact15: 「仮に放線菌であるなら「猛攻撃であるしかつ布教する」ということは事実と異なる」ものはある fact16: 何らかの物は心深くないなら「それは使い易いしヒートポンプチラーだ」ということは嘘だ
fact9 -> int1: もしもその保湿剤はテスト結果でないなら「それは選択すし一頭当たりである」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もしもそのアルドステロンは一頭当たりであるとすれば「それは移動出来るしそれに味わい深い」ということは嘘である fact2: もし仮に何かは辿るとすれば「それは再審事由であるしかつそれは線分だ」ということは事実と異なる fact3: 仮になにがしかの物が名残惜しくないならばプレゼントするしさらに絞れる fact4: 「脱構築しないなら「着れるしさらに去りする」ということは間違いな」ものはある fact5: 「もし「説き始めない」ということは正しいとしたら「ザであるし固い」ということは嘘な」物はある fact6: 仮になにがしかのものはタイムラインルーラーであるとすれば「かわゆくて更にベリリウムだ」ということは誤っている fact7: もし何かは宜しくないとしたら「それはさり気無くて膨れ上がる」ということは間違っている fact8: 「仮に続き易くないならば「茶色っぽくて加えて読み取り出来る」ということは成り立たない」物はある fact9: もし仮になにがしかのものはテスト結果でないとしたら「それは選択すし加えてそれは一頭当たりである」ということは成り立たない fact10: もし仮にその保湿剤はテスト結果であるならば「それは選択すしそれは一頭当たりである」ということは間違いである fact11: もしもとあるものがテスト結果でないならば選択すしそれは一頭当たりだ fact12: 「仮に「組み合わせない」ということは事実と異ならないなら青しし更に集団的自衛権な」ものはある fact13: なんらかの物は非体腔臓器であるなら「それは恒常化するしさらに赤黒い」ということは確かでない fact14: もし何かは何世紀だとしたら「それはエロいしそれは不正侵入である」ということは成り立つということはない fact15: 「仮に放線菌であるなら「猛攻撃であるしかつ布教する」ということは事実と異なる」ものはある fact16: 何らかの物は心深くないなら「それは使い易いしヒートポンプチラーだ」ということは嘘だ ; $hypothesis$ = 「もしもテスト結果でないとしたら「選択すし更に一頭当たりだ」ということは正しくない」物はある ; $proof$ = 
fact9 -> int1: もしもその保湿剤はテスト結果でないなら「それは選択すし一頭当たりである」ということは間違っている; int1 -> hypothesis; __PROVED__
事実1: もしもそのアルドステロンは一頭当たりであるとすれば「それは移動出来るしそれに味わい深い」ということは嘘である
事実2: もし仮に何かは辿るとすれば「それは再審事由であるしかつそれは線分だ」ということは事実と異なる
事実3: 仮になにがしかの物が名残惜しくないならばプレゼントするしさらに絞れる
事実4: 「脱構築しないなら「着れるしさらに去りする」ということは間違いな」ものはある
事実5: 「もし「説き始めない」ということは正しいとしたら「ザであるし固い」ということは嘘な」物はある
事実6: 仮になにがしかのものはタイムラインルーラーであるとすれば「かわゆくて更にベリリウムだ」ということは誤っている
事実7: もし何かは宜しくないとしたら「それはさり気無くて膨れ上がる」ということは間違っている
事実8: 「仮に続き易くないならば「茶色っぽくて加えて読み取り出来る」ということは成り立たない」物はある
事実9: もし仮になにがしかのものはテスト結果でないとしたら「それは選択すし加えてそれは一頭当たりである」ということは成り立たない
事実10: もし仮にその保湿剤はテスト結果であるならば「それは選択すしそれは一頭当たりである」ということは間違いである
事実11: もしもとあるものがテスト結果でないならば選択すしそれは一頭当たりだ
事実12: 「仮に「組み合わせない」ということは事実と異ならないなら青しし更に集団的自衛権な」ものはある
事実13: なんらかの物は非体腔臓器であるなら「それは恒常化するしさらに赤黒い」ということは確かでない
事実14: もし何かは何世紀だとしたら「それはエロいしそれは不正侵入である」ということは成り立つということはない
事実15: 「仮に放線菌であるなら「猛攻撃であるしかつ布教する」ということは事実と異なる」ものはある
事実16: 何らかの物は心深くないなら「それは使い易いしヒートポンプチラーだ」ということは嘘だ

仮説: 「もしもテスト結果でないとしたら「選択すし更に一頭当たりだ」ということは正しくない」物はある
1. 事実9から、推論1: "もしもその保湿剤はテスト結果でないなら「それは選択すし一頭当たりである」ということは間違っている"が導かれる
2. 推論1から、仮説が導かれる

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