That's where such a tool could come in handy. To propagate in a human mind, you must evaluate every belief that rests on the changed belief. And then do it again for the beliefs that rested on the beliefs, etc. At any stage, you can make a mistake in logic and propagate an incorrect belief. A computer would take seconds and would not make such mistakes. You wouldn't have to believe what the computer tells you, but if it tells you what you didn't expect to see, it would be a good idea to consider its reasoning.