Misi ini menutup modul implikasi dengan satu berkas aturan layanan. Aturan tertulisnya berbunyi: jika pengaduan masuk melalui loket resmi, nomor tiket diterbitkan pada hari yang sama. Empat pertanyaan berikut menguji pembacaan aturan itu dari empat arah, yaitu bentuk turunannya, kasus yang membatalkannya, nama kesalahan yang sering muncul, dan tabel kebenaran lengkap keempat bentuknya.
Urutan kerjanya tetap sama seperti di tiga pelajaran sebelumnya. Tandai dulu mana sebab dan mana akibat, tulis ulang kalimatnya sebagai 'jika p maka q', lalu periksa setiap klaim pada baris tabel kebenaran yang sesuai. Klaim yang hanya benar pada sebagian baris bukan simpulan yang sah, sekeras apa pun kedengarannya di ruang rapat.
Berkas seperti ini muncul di audit mutu, penyelesaian sengketa layanan, dan penyusunan prosedur baku. Yang dinilai bukan kemampuan menghafal nama bentuk, melainkan kemampuan menunjukkan baris mana yang membuat sebuah klaim gugur.
Aturan: jika pengaduan masuk lewat loket resmi, nomor tiket terbit hari itu.
p = pengaduan masuk lewat loket resmi
q = nomor tiket terbit hari itu
Kasus yang membatalkan aturan : p benar, q salah.
Kasus di luar jangkauan aturan: p salah, apa pun nilai q.