nyaya: entailment and equivalence exercise finished