Consistency Verification of Learner Profiles in Adaptive Serious Games