“如果今天下雨，我将呆在家里；我今天没有呆在家里，所以今天没有下雨” ，这是一个有效推理。