Gravar-mail: A Formal Analysis of Cytokine Networks in Chronic Fatigue Syndrome