If multiple incompatible inference rules are each necessary for some success-conducive goal, necessi...