Resolution-based deduction door Wognum