a(x, y) = x^(2) / 4 + y > 1
b(x, y) = y ≤ -abs(2 * x) + 4
d: a(x, y) ∧ b(x, y)
c(x, y) = 4 < (x + y)^(2)