A knowledge-based approach to connect-four: The game is over: White to move wins!