Converting Ordinary Rules into Default Rules Based on Contradiction of Knowledge Base