Reasoning with class algebra