The problem here isn't Bob and Alice -- that part of the scenario is working fine. The problem is Bob and Carol. There's no incentive for Bob not to make false claims against Carol. That's the bit that has to be fixed.
Bob, Carol, and Alice get along much better when Ted is added to the mix.