proof.sty: A User Guide
5. Limitations/unwanted features
a It seems that rule-thickness is not readily adjustable [let me know if that is not true!].
b Note this surely unwanted effect:
The different overall heights of the characters 'Q' and 'P' lead to different heights between levels of the tree.