Daca A ar fi ticalos, atunci afirmatia lui ar fi o minciuna. Prin urmare ar fi adevarat ca niciunul dintre ei nu este ticalos. Ceea ce contrazice presupunerea facuta.
Daca A ar fi cavaler, atunci afirmatia lui este adevarata, ceea ce inseamna ca "cel putin unui din ei este ticalos". A fiind cavaler, rezulta ca B este ticalos.