Comparisons of Rule Usage in Probability Reasoning Based on OT and ISM