Solves Any Logic Problem