São verdadeiras as quatro seguintes proposições:

P1: Se João joga futebol, então Maria não gosta de guaraná.
P2: Maria gosta de guaraná ou Paulo não estuda todo dia.
P3: Paulo não estuda todo dia se, e somente se, Carlos grita de manhã.
P4: Carlos não grita de manhã e Roberto não é flamenguista.

Com base nas proposições acima, uma conclusão necessariamente verdadeira é: