Let the "only-forth" method be applied by traversing the enumeration of $A$ and pairing each $a_i$ with the $b_j$ that has the least index $j$ of all elements of $B$ compatible with the current set of constraints. This is well-defined since, as the Wikipedia article explains, there is always at least one such element of $B$, and every non-empty set of indices has a least element.
At the $n$-th stage of the construction, after $n$ pairs have been chosen, the unpaired values in $A$ are divided into $n+1$ (countably infinite) sets $A_{nm}$ ($n-1$ between the paired values and $2$ at either end), and $B$ is likewise divided into $n+1$ (countably infinite) sets $B_{nm}$. If an element of $A_{nm}$ is to be paired next, the partner can be arbitrarily chosen from the corresponding set $B_{nm}$.
A given element $b_k$ of $B$ is always in one of these sets $B_{nm}$ until it gets paired. Since there is always a corresponding set $A_{nm}$ of as yet unpaired elements of $A$ and all elements of $A$ eventually get paired, an element $b_k$ that never gets paired would experience infinitely many choices being made from its respective current $B_{nm}$. But this is impossible, since in each case the element of $B_{nm}$ with least index is chosen, and there are only finitely many indices less than $k$.