「この脚ブロックは前妻だということはない」ということは成り立つとすると突き続けるし取穴する
fact1: もし仮にとある物が前妻でないならそれは突き続けるしかつそれは取穴する
$facts$ = fact1: もし仮にとある物が前妻でないならそれは突き続けるしかつそれは取穴する ; $hypothesis$ = 「この脚ブロックは前妻だということはない」ということは成り立つとすると突き続けるし取穴する ; $proof$ = 
事実1: もし仮にとある物が前妻でないならそれは突き続けるしかつそれは取穴する

仮説: 「この脚ブロックは前妻だということはない」ということは成り立つとすると突き続けるし取穴する