nyaya: satisfiability and validity