仮にこのＡＣＫセグメントは戦かないとしたらそれは御成りに成る
fact1: もし仮になにかは戦かないとすれば御成りに成る
$facts$ = fact1: もし仮になにかは戦かないとすれば御成りに成る ; $hypothesis$ = 仮にこのＡＣＫセグメントは戦かないとしたらそれは御成りに成る ; $proof$ = 
事実1: もし仮になにかは戦かないとすれば御成りに成る

仮説: 仮にこのＡＣＫセグメントは戦かないとしたらそれは御成りに成る