Se André está com sono, então ele dormiu tarde. Porém, André NÃO está com sono, logo,