In ogni giorno d'estate c'è qualcuno che è infelice. Da questa sola premessa possiamo dedurre che:

se oggi nessuno è felice, allora non è estateogni giorno qualcuno è infelicein un giorno non estivo, tutti sono infeliciin ogni giorno non estivo, qualcuno è felicese oggi tutti sono felici, allora non è estate