Suppose In the film 'The Shawshank Redemption' directed by Frank Darabont, released in 1994, Andy Dufresne, a banker, is convicted of a double murder he claims he did not commit and is sentenced to life at Shawshank State Penitentiary. There, he befriends contraband-smuggling inmate Ellis 'Red' Redding.
Can we infer that "Andy Dufresne was guilty of the murders he was convicted of."? Yes, no, or maybe?