nyaya: equivalence and entailment table+random questions