An Abductive Model for Human Reasoning