Delete KB_inference~