CEVAP: Bir çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olduğunu ortaya koyan bir model çıkarımın bir karşı-modelidir. Bir çıkarımın geçerli olduğunu göstermek için, çıkarımın bir karşı-modeli olmadığını ortaya koymamız gerekir.