What is the resolvent of the following clauses (\(\neg\) represents not)? Indian(Karan)…

The resolvent of the two clauses is Hindu (Karan). In first-order predicate logic resolution, the unit clause $\text{Indian}(\text{Karan})$ and the clause $\neg\text{Indian}(x) \lor \text{Hindu}(x)$ contain complementary literals $\text{Indian}(\text{Karan})$ and $\neg\text{Indian}(x)$. Unifying these two literals using the most general unifier substitution $\theta$ $= \{x / \text{Karan}\}$ and eliminating the complementary pair leaves the remaining literal with $\theta$ applied, which yields $\text{Hindu}(\text{Karan})$. Leaving the variable uninstantiated as $\text{Hindu}(x)$ is wrong because the unification binding $x = \text{Karan}$ must be applied across the entire resolvent clause.