((A implies B) implies C) implies B implies C