Sextus Empiricus Pyrrhoniae Hypotyposes 2.13.149

[149] Hence, the argument which deduces the consequent from the major premiss and the antecedent is said to be syllogistic, ¹ and also that which deduces the opposite of the antecedent from the major premiss and the opposite of the consequent; but the argument which, like that stated above, deduces the antecedent from the major premiss and the consequent is inconclusive, so that it makes a false deduction, even though its premisses are true, whenever it is uttered by lamplight at night. For though the major premiss ‟If it is day, it is light” is true, and also the minor premiss, ‟but in fact it is light,” the inference ‟therefore it is day” is false.