Se chove, faz frio. Se faz frio, é inverno. Se é inverno, Laura liga o aquecedor. Sabe-se que Laura não liga o aquecedor. Pode-se concluir que: