Natural language claims consistency checking using probabilistic reasoning with explanation