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?