Text this: Automated Reasoning for Systems Biology and Medicine