For example: By rule 1, p is a formula.
例如： 依规则1，p是公式。