An automated reasoning framework for translational research