Entonces, dado que A no se comporta de manera consistente (ya que las premisas prueban A y -A), no podrá deducirse B, y el paso 4 será cancelado.