Optimize a Contingency Testing Using Paraconsistent Logic