"inference rule" is not in the dictionary.