Last Gasp Selection

• If no false, not-true, or counter satisfiable axiom, select most syntactically relevant