It would only have to be rigged to the point where the proof is inconclusive. Easy.

Never, ever trust a computer program to deal, unless you programmed it.