>>190
分かりません。

Aが使ってるときはB,C,D.......n
Bが使ってるときはA,C,D.......n

という風に全部の排他条件かけばいいだけじゃないですか？

つまりn^2通りの条件をかけば解除し忘れなんて起きないと思います。