Theorem 3anim123i

Join antecedents and consequents with conjunction. (Contributed by NM, 8-Apr-1994.)

Hypotheses
3anim123i.1
\( \vdash \varphi \rightarrow \psi \)
3anim123i.2
\( \vdash \chi \rightarrow \theta \)
3anim123i.3
\( \vdash \tau \rightarrow \eta \)
Conclusion
\( \vdash \varphi \wedge \chi \wedge \tau \rightarrow \psi \wedge \theta \wedge \eta \)
Proof
3anim123i.1
l1
3ad2ant1 _
3anim123i.2
l3
3ad2ant2 _
3anim123i.3
3ad2ant3 _
3jca l1 l3 _