микрологическая задача

Какая из приведенных пар постулатов не позволяет вывести теорему?

(1)
Гром не грянет – мужик не перекрестится
Мужику покажется – мужик перекрестится

(2)
Не все, родившись красивыми, родились счастливыми
Дураки родились счастливыми

(3)
Всякого ждет сума или тюрьма
По тебе плачет тюрьма