prove hol_bool_interpretation
bool interpretations for hol_model