Predictive Models for Individual Human Reasoning