その厳罰化は心強い
fact1: もし仮に「その厳罰化は成功裏である」ということは正しいならば心強い fact2: その厳罰化は成功裏である
$facts$ = fact1: もし仮に「その厳罰化は成功裏である」ということは正しいならば心強い fact2: その厳罰化は成功裏である ; $hypothesis$ = その厳罰化は心強い ; $proof$ = 
事実1: もし仮に「その厳罰化は成功裏である」ということは正しいならば心強い
事実2: その厳罰化は成功裏である

仮説: その厳罰化は心強い