inference problem

Проблема (логічного) виведення