A partir das premissas “Se Joelson irá a uma festa e procurará uma namorada, então Joelson precisa cortar o cabelo”, “Se Joelson é casado, então, não precisa cortar o cabelo” e “Se Joelson é casado, então, não procurará uma namorada”, pode- se concluir corretamente que Joelson não é casado.