Построить в исчислении высказываний вывод ⊢(A⊃B)⊃¬(A˄¬B)

Построен вспомогательный вывод (A⊃B)⊢¬(A˄¬B), но не знаю, что делать дальше.

Вспомогательный вывод, а также допустимые аксиомы и пример из учебника Вы можете найти во вложениях.