Das premissas “Gilberto dorme somente se Cláudio estuda”, “Antônio corre somente se Carlos nada” e “Se Antônio não corre, Cláudio não estuda”, pode-se inferir que: