///
1) Se faz sol e é sábado, então a praia está lotada.
2) Se faz sol, então a praia não está vazia.
3) Se a praia está lotada, então faz sol.
4) Se Felipe está na praia, então ele está de férias.
5) Se Felipe toma sorvete, então ele está na praia.
Fazer sol é equivalente à praia não estar vazia.