Multi-Valued Verification of Commitment Systems with Uncertainty and Inconsistency in Multi-Source Data Settings