Update InferenceRulesExample