转折语料

P 表示原因/条件
Q 表示预期结果
R 表示条件/原因/目的
¬Q 表示实际结果