XY ZW
| |
Q P - - - R
|
S
--- line means there is a possibility either true or false .
| line means it directly inferred from question statements.
This is general scenario as we get from those given statements ..
P and R should be married to each other. otherwise Z can not be grandfather of S .
This is not always true .
Question said " Z and W are married and are parents of R. " there is a possibility that R may have another siblings ... there nothing is mention Z and W have only a single child so this possibility still exists !!
From question , it is clear that P is Not a child of Z and W .
P is child of X and Y only , but daughter of P is S and S's grandfather is Z so P is somehow related to Z .
That relation is only possible when Z and W have another child and P married to that child only ..so that means R can marry Q .
So in that case this statement " P and R are not married to each other " may not always false, it can be true also .
And " Q can not be married to R." this statement must necessarily be false .
As there is a possibility that Q can marry R . So Q can not marry R ever in any case is always false statement .
Hence correct statement is statement D .