theorem sylc (a b c d: wff): $ b -> c -> d $ > $ a -> b $ > $ a -> c $ > $ a -> d $;
a -> c
b -> c -> d
a -> b
a -> c -> d
a -> d