When it comes to automating a system, rather than using logic to work one's way through the variables, one would simplify, by breaking down the problem into smaller problems and have a simple quantifiable elimination process, in a simple tree of nested logic. One would start with the final...