Langkah satu, formalisasi premis. Misalkan P adalah Virus X meningkat, Q adalah rumah sakit penuh, dan R adalah vaksinasi dipercepat. Berdasarkan soal, premis satu adalah P maka Q, premis dua adalah R maka negasi Q, dan faktanya rumah sakit sedang penuh atau Q.