Exactly one of the two displayed systems is feasible. Closedness of finitely generated cones and the Fenchel-Moreau theorem applied to a cone's indicator functional provide a proof through its polar cone. It yields a nonnegative multiplier certificate when a finite system of linear inequalities is inconsistent.
New to topics? Read the docs here!