あの応変は灯る
fact1: この匙は突き掛かる fact2: 仮にあの応変が出仕するとしたら開拓時代である fact3: もし仮にあの応変が突き掛かるとしたらそれは灯る fact4: 「あの応変は突き掛かる」ということは確かだ fact5: もし仮に「あの応変は灯る」ということは成り立つならそれは外部要因である fact6: この一万円分は突き掛かる fact7: あの応変は経常外増減だ fact8: あの応変が突き掛かるとしたらそれは回帰する fact9: 仮にその遺伝子産物が国民・住民だとすると灯る
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
$facts$ = fact1: この匙は突き掛かる fact2: 仮にあの応変が出仕するとしたら開拓時代である fact3: もし仮にあの応変が突き掛かるとしたらそれは灯る fact4: 「あの応変は突き掛かる」ということは確かだ fact5: もし仮に「あの応変は灯る」ということは成り立つならそれは外部要因である fact6: この一万円分は突き掛かる fact7: あの応変は経常外増減だ fact8: あの応変が突き掛かるとしたらそれは回帰する fact9: 仮にその遺伝子産物が国民・住民だとすると灯る ; $hypothesis$ = あの応変は灯る ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: この匙は突き掛かる
事実2: 仮にあの応変が出仕するとしたら開拓時代である
事実3: もし仮にあの応変が突き掛かるとしたらそれは灯る
事実4: 「あの応変は突き掛かる」ということは確かだ
事実5: もし仮に「あの応変は灯る」ということは成り立つならそれは外部要因である
事実6: この一万円分は突き掛かる
事実7: あの応変は経常外増減だ
事実8: あの応変が突き掛かるとしたらそれは回帰する
事実9: 仮にその遺伝子産物が国民・住民だとすると灯る

仮説: あの応変は灯る
1. 事実3と事実4から、仮説が導かれる

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