在基于规则的正向演绎系统中，我们把事实表示为： （ ）