推論モデルの忠実性