How is A related to

Solution

​ C ∞ S θ T: C is either the daughter or the wife of S, who is either the son or the husband of T

T ÷ S: T is neither the mother nor the wife of S. So, case 3 is invalid.

A ∞ S: A is either the daughter or the wife of S

C => A: C is either the mother or the sister of A



C => N ∀ S: C is either the mother or the sister of N, who is neither the son nor the daughter of S.

So, case 2 is invalid.

K θ N ≡ J ∀ T: K is either the son or the husband of N, who is neither the husband nor the brother of J, who is neither the son nor the daughter of T

Also, J ∞ T: J is either the daughter or the wife of T

So, J is the wife of T. V ∀ K: V is neither the son nor the daughter of K

K Δ V: K is either the father or the brother of V

So, K must be the brother of V. B Δ V: B is either the father or the brother of V



B ≡ K: B is neither the husband nor the brother of K.


So, B is the father of V and K.


Either both or none of the parents of a person are alive. So, case 1(i) is invalid. A is the granddaughter of T.