Gefum okkur að forsendurnar séu sannar. Ef Jón er morðinginn, þá verður hann að eiga öxi; og það er staðreynd að Jón á ekki öxi. Hvað leiðir af þessu? Að hann var ekki morðinginn.