模型 × 本体 适配矩阵

颜色表示状态，点格子看证据。初期大多数是“未知”——我们只写有证据的状态。