一个虔诚的修士在教堂做祷告的时候，突然间从门外来了3个美女，这3个美女有的是天使，有的是恶魔，但是他不知道谁是天使或者是恶魔，以及这3个人中有几个是天使，但是天使不会说谎话，恶魔却都是说谎话的。
这3个人说了以下的话，
凯瑟琳：“安妮和米卡之间，至少会有一个天使”
米卡：“安妮和凯瑟琳之间，至少有一个是恶魔”
安妮：“让我来告诉你正确的道路吧”
请问，天使有几个呢？

安妮：“让我来告诉你正确的道路吧”
所以安妮是
凯瑟琳：“安妮和米卡之间，至少会有一个天使”
凯瑟琳是天使
米卡：“安妮和凯瑟琳之间，至少有一个是恶魔”
安妮不是，那就是凯瑟琳是恶魔。所以说凯瑟琳如果是恶魔米卡就是天使，凯瑟琳如果是天使，米卡则为恶魔
所以有两个天使安妮和凯瑟琳

凯瑟琳：“安妮和米卡之间，至少会有一个天使”
假设凯瑟琳是恶魔，那莫安妮和米卡之间就没有天使。
米卡：“安妮和凯瑟琳之间，至少有一个是恶魔”
那莫米卡所说的话就是真话，所以不成立，所以凯瑟琳是天使

米卡：“安妮和凯瑟琳之间，至少有一个是恶魔”
安妮要是恶魔米卡就是天使。安妮要是天使米卡就是恶魔
所以有两个天使

假如凯瑟琳是天使，根据凯瑟琳的话，安妮和米卡之间有一个也是天使，那另外一个就是恶魔。如果米卡是恶魔，根据米卡的话，那安妮和凯瑟琳都是天使，所以推断正确。如果米卡是天使，安妮就是恶魔，而恶魔不会告诉你正确的道路，所以推断错误。
如果凯瑟琳是恶魔，根据凯瑟琳的话，那安妮和米卡就都是恶魔，所以推断错误。
因此，凯瑟琳和安妮是天使，米卡是恶魔。