M * T ⇒ M is mother of T
T $ R ⇒ T is father of R
So M is grandmother of R ✅
R @ N ⇒ R is wife of N (female), so N is husband of R
This does not make R parent of N. ❌
Check (d) M * R @ T @ N
M * R ⇒ M is mother of R
R @ T ⇒ R is wife of T (so T is husband of R)
T @ N ⇒ T is wife of N (impossible here: T already husband in previous step) ❌
Check (c) M $ R $ T @ N
M $ R ⇒ M is father of R (male) ❌ (grandmother must be female)
So only valid form is (a): M * T $ N @ R
M * T ⇒ M is mother of T
T $ N ⇒ T is father of N
So M is grandmother of N ✅
(Last part “N @ R” just adds N is wife of R, doesn’t break grandmother relation)