demonstrations:solubility_rules