GUI for truth tree creation and verification