Another example of a program-assisted proof is the one that shows that the game of Connect Four can always be won by first player.
Kitas pavyzdys galėtų būti įrodymas, kad žaidime ,,Sujunk keturis” (angl. Connect Four) visada laimi pirmasis žaidėjas.