Gravar-mail: Using Set Covering and Uncertain Reasoning to Determine Treatments