V(3) > (3 * LN(V(4))) OR (V(5) + V(6)) < 3