Resolving Inconsistencies by Variable Forgetting