Em uma reunião de condomínio, o síndico apresentou duas afirmações sobre a inadimplência dos moradores: 'Se o morador João está em atraso com o pagamento da taxa condominial, então ele não poderá utilizar a churrasqueira.' e 'O morador João não está em atraso com o pagamento da taxa condominial.' Após a apresentação, um dos condôminos questionou a validade das conclusões que poderiam ser tiradas a partir dessas declarações. Analise as proposições lógicas apresentadas para determinar a conclusão correta.