Text: If you've run out of things to read by the pool, check out Livraria Pitio (Rua da Carreira, 43; Tel. 291/224 490), around the corner from the post office.
Entailment: Livraria Pitio has reading material available and it is by the post office.
Contradiction: Once you've run out of reading material by the pool, there is no more to be found.