爆発律を推論規則に入れる意味ある?