Reverting broken change to computing rule truth values.