nyaya: validity and satisfiability exercises