pH-induced protein unfolding evidence used in automatic assertion