I guess the problem is that you need a unique solution for strong deduction logic, and that typically isn't the case here. you just take a guess
