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 é: