... brute force a MBT question, what is the best way to go about ... I can right away. With the ACs that are left, I ... at a contradiction. The problem is that there is more than one way ... AC. For example, if the AC says A must be ... in group 2,3 etc.. What do you do in this ...