Logic Solver - | Risknowlogy