Для любых двух мумзиков существует одна и только одна сипулька, которую они оба кудрячат. Существуют три мумзика, для которых нет такой сипульки, которую они все кудрячат. Каждую сипульку кудрячит не менее двух мумзиков.

Пусть заданы сипулька A и мумзик B, который ее не кудрячит. Существуют ли две различные сипульки C и D, каждую из которых кудрячит B, но ни один из мумзиков, кудрячащих A, не кудрячит ни C, ни D?

http://vadim-proskurin.livejournal.com/397385.html

Ответ где-то в тех же краях...