Theorem simp2

Simplification of triple conjunction. (Contributed by NM, 21-Apr-1994.) (Proof shortened by Wolf Lammen, 22-Jun-2022.)

Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \psi \)
Proof
id
3ad2ant2 _