我们有同学没迟到，所以，我们班有同学迟到了。 这个推理是有效的。