根据三段论七条一般规则和各格的具体规则，下列各式中属第一格有效式的是（）。