任意のX、とは、「Xが真であろうと偽であろうと」という意味になる

したがって
Aが偽、Bが真、は

Xが真なら、（A⇒X）⇒（B⇒X）は真、となっても
Xが偽なら、（A⇒X）⇒（B⇒X）は真、となるので

却下！