Αποστολή με SMS: Automated Reasoning for Systems Biology and Medicine