Bug fixes: - Fixed a bug where "Rolf's Statement" can be obtained repeatedly - Fixed a bug where presenting certain wrong contradictions to Yan may cause errors