A computational model of reasoning from the clinical literature