「もし書き並べるとすると上積みする」物はある
fact1: 「仮にしつっこいとしたら如何わしい」ものはある fact2: 「もしも保持し続けるなら連れ込む」物はある fact3: もし仮にそのポリエチレンフィルムは書き並べれば「上積みしない」ということは成り立たない fact4: 「神書は塩っ辛い」ということは成り立つ fact5: 「六月以上だとしたら熱苦しい」物はある fact6: もしもそのポリエチレンフィルムが上積みするとしたらそれは運び易い fact7: もしもそのポリエチレンフィルムがバランス良いならばそれは出所出来る fact8: 仮にそのポリエチレンフィルムはコントロールし易いとしたら「神書だということはない」ということは間違いだ fact9: もしなにかは新しとするとそれは一回量である fact10: あのセーターは上積みすれば「それは人的ネットワークである」ということは確かである fact11: この複勝率は書き並べるなら「コントロールし易い」ということは成り立つ fact12: 「白っぽいなら八十〜九十年代な」物はある
fact3 -> hypothesis;
「もし神書ならば塩っ辛い」ものはある
fact13 -> int1: 仮に「その回腸は神書である」ということは真実だとすれば「それは塩っ辛い」ということは真実だ; int1 -> hypothesis;
$facts$ = fact1: 「仮にしつっこいとしたら如何わしい」ものはある fact2: 「もしも保持し続けるなら連れ込む」物はある fact3: もし仮にそのポリエチレンフィルムは書き並べれば「上積みしない」ということは成り立たない fact4: 「神書は塩っ辛い」ということは成り立つ fact5: 「六月以上だとしたら熱苦しい」物はある fact6: もしもそのポリエチレンフィルムが上積みするとしたらそれは運び易い fact7: もしもそのポリエチレンフィルムがバランス良いならばそれは出所出来る fact8: 仮にそのポリエチレンフィルムはコントロールし易いとしたら「神書だということはない」ということは間違いだ fact9: もしなにかは新しとするとそれは一回量である fact10: あのセーターは上積みすれば「それは人的ネットワークである」ということは確かである fact11: この複勝率は書き並べるなら「コントロールし易い」ということは成り立つ fact12: 「白っぽいなら八十〜九十年代な」物はある ; $hypothesis$ = 「もし書き並べるとすると上積みする」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮にしつっこいとしたら如何わしい」ものはある
事実2: 「もしも保持し続けるなら連れ込む」物はある
事実3: もし仮にそのポリエチレンフィルムは書き並べれば「上積みしない」ということは成り立たない
事実4: 「神書は塩っ辛い」ということは成り立つ
事実5: 「六月以上だとしたら熱苦しい」物はある
事実6: もしもそのポリエチレンフィルムが上積みするとしたらそれは運び易い
事実7: もしもそのポリエチレンフィルムがバランス良いならばそれは出所出来る
事実8: 仮にそのポリエチレンフィルムはコントロールし易いとしたら「神書だということはない」ということは間違いだ
事実9: もしなにかは新しとするとそれは一回量である
事実10: あのセーターは上積みすれば「それは人的ネットワークである」ということは確かである
事実11: この複勝率は書き並べるなら「コントロールし易い」ということは成り立つ
事実12: 「白っぽいなら八十〜九十年代な」物はある

仮説: 「もし書き並べるとすると上積みする」物はある
1. 事実3から、仮説が導かれる

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