Каждый студент 2-ого курса подписан на мат журнал Кислякова

Px⟺x-знакомые Кислякова
Sx⟺x-подписан на журнал Кислякова
Qx⟺x- член клуба дебатов
Cx⟺x-студент второго курса
Ф1=∀x(Cx→Sx)
Ф2=∃x(Sx∧Px)
Ф3=∃x(Px∧Qx)
Ψ=∀x(Cx→Qx)
Избавляемся от кванторов, при этом кванторы существования заменяем сколемовской постоянной (a=const):
Ф1=Cx→Sx
Ф2=Sa∧Pa
Ф3=Pa∧Qa
Ψ=Cx→Qx
Избавляем от импликации по правилу A→B=¬A∨B, а конъюнкты Ф2 и Ф3 разделяем на четыре конъюнкта:
Ф1=¬Cx∨Sx
Ф2=Sa
Ф3=Pa
Ф4=Pa
Ф5=Qa
Ψ=¬Cx∨Qx
Резольвенты составить нельзя, значит, высказывание ложно.