Use MEMBER.
NEGATE things.
SATISFIABLE-P.
NEGATE a TPTP formula.  Definitions.
Complete independence.
Solve a DB.
Aggregate the SZS statuses.