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