The set of formulas is unsatisfiable.
Expand the tableau by double clicking compound formula. Or do it automatically except arbitrary formulas.
Please choose an open branch when prompted, selecting from left to right. Opting for a closed branch to create a model is not advisable.