そのＪＡＣは逸らさない
fact1: もし仮にその文字がめでたいとすればそのＪＡＣは逸らす fact2: その文字はめでたい
$facts$ = fact1: もし仮にその文字がめでたいとすればそのＪＡＣは逸らす fact2: その文字はめでたい ; $hypothesis$ = そのＪＡＣは逸らさない ; $proof$ = 
事実1: もし仮にその文字がめでたいとすればそのＪＡＣは逸らす
事実2: その文字はめでたい

仮説: そのＪＡＣは逸らさない