Consider the following argument.
If compilation of a computer program produces error messages, then the program is not correct.
Compilation of this program does not produce error messages.
∴ This program is correct.