1. A method for analyzing system-problems, comprising the steps of: accepting from a user an input describing a system having a problem; parsing said user input to create a boolean representation of said system, said boolean representation comprising a series of equations; determining that said boolean representation comprises an unsatisfiable series of equations; for each equation in said series of equations, performing the steps of: creating a modified series of equations by removing said equation from said series of equations; and determining if said modified series of equations is satisfiable, and, if said modified series of equations is satisfiable, deriving a solution wording from said removed equation.