王熙鳳
王熙凤的判词称她“一从二令三人木”，指的是其夫贾琏一开始对她敬从，后来对她指使命令，最后被休掉的结局。“机关算尽太聪明，反算了卿卿性命！”高鹗的后续第114回写王熙凤因病而亡于荣府。
相继式演算
最后，“相继式演算”推广了自然演绎的形式为 这个语法对象叫做相继式。再次formula_5和formula_19是公式，而formula_20和formula_21是非负整数，就是说左手端或右手端都可以为空或不空。如同自然演绎，定理是那些formula_2这里的formula_10是有效证明的结论。