Em uma universidade, o professor afirma:

Se um estudante é bolsista, então ele participa de um projeto de pesquisa. Mariana é bolsista.

Com base nessas informações, qual conclusão lógica é correta?