проблема выводимости

Deducibility problem