closeFalse completes proof branch false |- ... for trivial reasons when the formula false is among its assumptions in its left-hand side antecedent.