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.
14. The method of claim 1 , each equation in said series comprising at least one target variable and at least one non-target variable, wherein said step of deriving a solution wording from said removed equation comprises the steps of: finding a target variable in said removed equation; creating a list of positive non-target variables in said removed equation; creating a list of negative non-target variables in said removed equation; determining if said target is positive or negative; if said target is positive, generating a negative plain language expression of said target, otherwise generating a positive plain language expression of said target; for each variable in said list of positive non-target variables, generating a plain language statement of system condition; for each variable in said list of negative non-target variables, generating a plain language statement of omitted condition; generating a compound statement of system conditions by joining together said statements of system condition using a first logical operator between each of said statements of system condition, said first logical operator being “and”; and generating a compound statement of system omitted conditions by joining together said statements of system omitted condition using a second logical operator between each of said statements of system omitted condition, said second logical operator being “or”.