「仮に果樹外史でないとすれば「竹篦返しだ」ということは確かな」物はある
fact1: 仮に何らかの物は芦辺クラブでないならそれは分類整理する fact2: 「もし果樹外史なら竹篦返しな」物はある fact3: 「七図でないなら統轄する」ものはある fact4: 仮にその進歩主義教育は果樹外史であるならばそれは竹篦返しだ fact5: もしもこの頭脳が事業継承だということはないならばそれは果樹外史だ fact6: もし仮に「その進歩主義教育は果樹外史でない」ということは正しいとすると竹篦返しだ fact7: 「もし仮に直列運転でないならば塗り始める」物はある fact8: 「読書行為でないとしたらグリルする」ものはある fact9: その進歩主義教育が握り合わないとするとそれは果樹外史だ fact10: 「もし仮に捩じ込むということはないとしたら重々しい」物はある fact11: 変化し易くないものはローマ市民である fact12: もしもある物が抗し切れるということはないとしたらそれは雪深い fact13: その進歩主義教育が捕らえ難いということはないなら調節し易い fact14: 「速度計でないなら刑死する」物はある
fact6 -> hypothesis;
「芦辺クラブでないなら分類整理する」ものはある
fact15 -> int1: この異時点間は芦辺クラブでないならそれは分類整理する; int1 -> hypothesis;
$facts$ = fact1: 仮に何らかの物は芦辺クラブでないならそれは分類整理する fact2: 「もし果樹外史なら竹篦返しな」物はある fact3: 「七図でないなら統轄する」ものはある fact4: 仮にその進歩主義教育は果樹外史であるならばそれは竹篦返しだ fact5: もしもこの頭脳が事業継承だということはないならばそれは果樹外史だ fact6: もし仮に「その進歩主義教育は果樹外史でない」ということは正しいとすると竹篦返しだ fact7: 「もし仮に直列運転でないならば塗り始める」物はある fact8: 「読書行為でないとしたらグリルする」ものはある fact9: その進歩主義教育が握り合わないとするとそれは果樹外史だ fact10: 「もし仮に捩じ込むということはないとしたら重々しい」物はある fact11: 変化し易くないものはローマ市民である fact12: もしもある物が抗し切れるということはないとしたらそれは雪深い fact13: その進歩主義教育が捕らえ難いということはないなら調節し易い fact14: 「速度計でないなら刑死する」物はある ; $hypothesis$ = 「仮に果樹外史でないとすれば「竹篦返しだ」ということは確かな」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮に何らかの物は芦辺クラブでないならそれは分類整理する
事実2: 「もし果樹外史なら竹篦返しな」物はある
事実3: 「七図でないなら統轄する」ものはある
事実4: 仮にその進歩主義教育は果樹外史であるならばそれは竹篦返しだ
事実5: もしもこの頭脳が事業継承だということはないならばそれは果樹外史だ
事実6: もし仮に「その進歩主義教育は果樹外史でない」ということは正しいとすると竹篦返しだ
事実7: 「もし仮に直列運転でないならば塗り始める」物はある
事実8: 「読書行為でないとしたらグリルする」ものはある
事実9: その進歩主義教育が握り合わないとするとそれは果樹外史だ
事実10: 「もし仮に捩じ込むということはないとしたら重々しい」物はある
事実11: 変化し易くないものはローマ市民である
事実12: もしもある物が抗し切れるということはないとしたらそれは雪深い
事実13: その進歩主義教育が捕らえ難いということはないなら調節し易い
事実14: 「速度計でないなら刑死する」物はある

仮説: 「仮に果樹外史でないとすれば「竹篦返しだ」ということは確かな」物はある
1. 事実6から、仮説が導かれる

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