Langkah pertama, mari kita formalisasikan premisnya. Kita misalkan p adalah sistem keamanan diperketat, q adalah tingkat kriminalitas menurun, dan r adalah rasa aman meningkat. Premis satu adalah p maka q. Premis dua adalah q maka r. Faktanya saat ini adalah negasi p, yaitu sistem keamanan tidak diperketat.