>>71
＞∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R))　(2)

強いてEURMS風に書けば
¬P(x)∨Q(x)∨R(x)⇒/R,Q,x/(¬P(x)∨Q(x))∨(¬P(x)∨R(x))
か。