Se Lia compra balas, então Maria compra chocolate. Se Maria compra chocolate, então Carlos compra sorvete. Se Carlos compra sorvete, então Antônio fica em casa. Se Antônio fica em casa, então Luiz fica em casa. Ora, Luiz não fica em casa, logo: