premise: No entanto, Lula não é formalmente investigado, como ressalta o procurador-geral da República, Rodrigo Janot.
hypothesis: O procurador-geral da República, Rodrigo Janot, também foi a favor do depoimento do ex-presidente Lula.