あの整いは叩き出す
fact1: あの整いは近付ける fact2: もしもあの整いが近付けるとしたらそれは叩き出す fact3: この実行行為は近付ける
$facts$ = fact1: あの整いは近付ける fact2: もしもあの整いが近付けるとしたらそれは叩き出す fact3: この実行行為は近付ける ; $hypothesis$ = あの整いは叩き出す ; $proof$ = 
事実1: あの整いは近付ける
事実2: もしもあの整いが近付けるとしたらそれは叩き出す
事実3: この実行行為は近付ける

仮説: あの整いは叩き出す