Is there a nonzero solution to this infinite system of congruences? Is there a triple of nonzero even integers $(a,b,c)$ that satisfies the following infinite system of congruences?
$$
a+b+c\equiv 0 \pmod{4} \\
a+3b+3c\equiv 0 \pmod{8} \\
3a+5b+9c\equiv 0 \pmod{16} \\
9a+15b+19c\equiv 0 \pmod{32} \\
\vdots \\
s_na + t_nb + s_{n+1}c \equiv 0 \pmod{2^{n+1}} \\
\vdots
$$
where $(s_n)$ and $(t_n)$ are weighted tribonacci sequences defined by
$$
s_1=s_2=1, \\
s_3=3, \\
s_n = s_{n-1} +2s_{n-2} + 4s_{n-3} \text{ for } n>3,
$$
and
$$
t_1=1, \\
t_2=3, \\
t_3=5, \\
t_n = t_{n-1} +2t_{n-2} + 4t_{n-3} \text{ for } n>3.
$$
I think there are no nonzero solutions, but I haven't been able to prove this. Computationally, I found there are no nonzero solutions for integers $a$, $b$, and $c$ up to $1000$.
Note the $s_n$ and $t_n$ are always odd, and that the ratios $\frac{s_n}{s_{n-1}}$ and $\frac{t_n}{t_{n-1}}$ approach $2.4675...$.

$u_n=s_na + t_nb + s_{n+1}c$ satisfies the same recurrence relation as $s_n$ and $t_n$: $u_n = u_{n-1} +2u_{n-2} + 4u_{n-3}$. The question is whether $2^{n+1}\mid u_n$.
Since $v_n=u_n/2^{n+1}$ satisfies
$v_n = \displaystyle\frac{v_{n-1} +v_{n-2} + v_{n-3}}{2}$
the answer is affirmative only if there are $v_0, v_1, v_2$ (not all 0) such that $v_n$ is always integral.
EDIT.
As sharply noticed by the OP, the attempt below was wrong, since a matrix I claimed to be invertible (mod $2$) is in fact singular. A similar, more computational argument does work (mod $5$).

It's clear that (mod $2$) such a sequence $v_n$ must follow either one of the 3-periodic patterns $000$ and $110$ (up to shifts). In the $000$ case keep dividing entire sequence $(v_n)$ by $2$ until one term is odd, and then shift the sequence to start with that term, so it's back to the $110$ case.  Therefore it must be that 
$$\require{cancel}\cancel{\det\left (\begin{smallmatrix}v_1 & v_2 & v_3\\ v_2 & v_3 & v_4\\ v_3 & v_4 & v_5 \end{smallmatrix}\right )\equiv \det\left (\begin{smallmatrix}1 & 1 & 0\\ 1 & 0 & 1\\ 0 & 1 & 1 \end{smallmatrix}\right )\!\!\!\!\pmod{2} \ne0}$$
CORRECTED ARGUMENT.
Notice that
$$D=\det\left (\begin{matrix}v_1 & v_2 & v_3\\ v_2 & v_3 & v_4\\ v_3 & v_4 & v_5 \end{matrix}\right )=\det\left (\begin{matrix}v_1 & v_2 & v_3\\ v_2 & v_3 & \frac{v_1+v_2+v_3}{2}\\ v_3 & \frac{v_1+v_2+v_3}{2} & \frac{v_1+3v_2+3v_3}{4} \end{matrix}\right )\\=
\frac{-4v_3^3+4v_2 v_3^2+2v_1 v_3^2+v_2^2 v_3+5v_1 v_2 v_3-v_1^2 v_3-3v_2^3-2v_1 v_2^2-2v_1^2 v_2-v_1^3}{4}$$
is $\equiv 0 \pmod{5}$ if and only if $v_1\equiv v_2\equiv v_3\equiv 0 \pmod{5}$. This is proved by the following snippet of code:
awk -vp=5 'BEGIN {
    for(a=0; a<p; a++)
        for(b=0; b<p; b++)
            for(c=0; c<p; c++) {
                d=4*c^3-4*b*c^2-2*a*c^2-b^2*c-5*a*b*c+a^2*c+3*b^3+2*a*b^2+2*a^2*b+a^3;
                if(d%p==0) print a, b, c;
            }
}'

Now divide the entire sequence $(v_n)$ by a power of $5$ so that at least one term is is not $\equiv 0$, and shift it to start with that term, thus $v_1\not\equiv 0$ and therefore $D\ne0$.
Next this implies that there is an integral linear combination $(z_n)$ of $(v_n)$ and its shifts $(v_{n+1})$, $(v_{n+2})$ such that $z_1=z_2=0$, $z_3\ne 0$, and still $z_n=(z_{n-1} +z_{n-2} + z_{n-3})/2$ holds.
Finally write $z_3=2^m d$, with $d$ odd, and start the recursion from $0, 0, 2^m d$ to easily notice that it runs into a half-integer in $m+1$ steps.
