Van Inwagen's Consequence Argument employs inference rules (Beta, Beta-2) that resist valid formal d...