derivability (derive + -ability; state_quality)
The condition of being derivable