For longer, more involved things like this, you would want to use Mathematica or Mathematica online.
I don't think there's a built in function for generating such readable proof trees. Maybe there's a package out there for it. Are you using Sequent Calculus? Which formal logic exactly did you want to use? I would look online to see anyone had made a tool for working with them in Mathematica.