Rule for when ALL phones leave, not any phones leave

RM only triggers on events, not conditions. So the rule can be triggered by the event of any presence sensor leaving. Then the first action would test the condition that all are gone.

Alternatively, Simple Automation Rules will 'trigger' on all presence sensors having left. "When everyone leaves".