as provas são convincentes e o suspeito é culpado ou não ganha liberdade.

as provas são convincentes ou o suspeito é culpado e não ganha liberdade.

se as provas não são convincentes, então o suspeito não é culpado e ganha liberdade.

se o suspeito é culpado e não ganha liberdade, então as provas são convincentes.

se o suspeito não é culpado ou ganha liberdade, então as provas não são convincentes.