How do I typeset this parsing tree for propositional logic formula with forest or something else?

The following parsing tree is from Mathematical Logic published in 2007 and written by Ian Chiswell & Wilfrid Hodges. It looks like a forest tree, but I guess it could be typeset better by another package. How shall I typeset this?

Image may be NSFW.
Clik here to view.