Through analytic reasoning, one can make the judgment that John is unmarried.
ومن خلال المنطق التحليلي، يمكن أن نصل إلى استنتاج بأن جون غير متزوج.