Help me write a Truth Functional Logic formal proof for ⊤ ⊢ (¬(A → B) → (A ∧ ¬B))

Overview

I am using Carnap.io for this proof and I can only use basic rules and other rules like DS, DNE, MT, LEM, DeM.