Se é verão, então Ana não está de meias. Se Ana está de meias, então é dia de trabalho para ela. Nos dias em que trabalha, ou Ana toma um lanche ou Ana vai à livraria. Ontem Ana esteve na livraria e usava meias.

Considerando que as proposições sobre Ana são verdadeiras, então é logicamente verdade concluir que