证明题1：证明草爷是个好人
证明：假设一式成立
一式：草爷是一个坏人 = 不是扯蛋
根据一式推出二式
二式：草爷不是一个坏人 = 是扯蛋
由一式加二式得：草爷是一个坏人+草爷不是一个坏人 = 不是扯淡 + 是扯蛋
得：（1+不）×草爷是一个坏人 = （1+不）×是扯蛋
等式两边同时除以（1+不）得到：草爷是一个坏人 = 是扯蛋
此结论与假设相悖，所以假设错误
得出结论：草爷不是一个坏人，即草爷是一个好人
证明题2：证明婧静不是一个好人
证明：假设一式成立
一式：婧静是一个好人 = 不是扯蛋
根据一式推出二式
二式：婧静不是一个好人 = 是扯蛋
由一式加二式得：婧静是一个好人+婧静不是一个好人 = 不是扯淡 + 扯蛋
得：（1+不）×婧静是一个好人 = （1+不）×是扯蛋
等式两边同时除以（1+不）得到： 婧静是一个好人 = 是扯蛋
此结论与假设相悖，所以假设错误
得出结论：婧静确实不是一个好人