theorem anw3l (a b c d e: wff): $ a -> e $ > $ a /\ b /\ c /\ d -> e $;
a -> e
a /\ b -> e
a /\ b /\ c /\ d -> e