Se Eva vai à praia, ela bebe caipirinha. Se Eva não vai ao cinema, ela não bebe caipirinha. Se Eva bebe caipirinha, ela não vai ao cinema. Se Eva não vai à praia, ela vai ao cinema. Segue-se, portanto, que Eva: