If true premises can coexist with a false conclusion, the inference is invalid.

The Fourth Figure: Productive Conditions, Moods and Proofs