Toda terça-feira Natália joga futebol e toda segunda-feira ela trabalha. Depois que joga futebol, ou Natália come um sanduíche ou ela come uma salada. Se Natália come uma salada, então não é sábado. Natália nunca trabalha aos domingos e nunca trabalha e joga futebol no mesmo dia. Natália trabalha em quatro dias da semana, que são sempre os mesmos. Natália sempre trabalha no dia seguinte ao dia que jogou futebol. Semana passada Natália trabalhou por três dias consecutivos e no dia seguinte comeu um sanduíche. De acordo com essa rotina de Natália é necessariamente verdade que ela
nunca come salada e sanduíche no mesmo dia.
já jogou futebol no sábado.
joga futebol pelo menos duas vezes por semana.
pelo menos uma vez comeu salada no domingo.
nunca joga futebol três vezes por semana.