Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion"