How to Solve Syllogisms Combining "Some" and "None" Statements
Solve syllogisms mixing "Some A are B" and "No B are C" statements, with the valid conclusion pattern, a worked example, and practice questions.
Expected Interview Answer
When a syllogism mixes "Some A are B" with "No B are C," the only conclusion that follows with certainty is "Some A are not C" — because the “some” A’s that overlap with B are guaranteed, by the total exclusion of B and C, to fall outside C as well.
A "No" statement is the strongest possible claim — total, symmetric exclusion between two sets — so anything proven to lie inside one of those sets is thereby proven to lie entirely outside the other. Combined with a "Some A are B" statement, the guaranteed overlap between A and B is now known to sit outside C too, yielding "Some A are not C" as a valid, certain conclusion. What does NOT follow is "Some A are C" or "All A are not C," because the “some” statement never guarantees anything about the A’s that lie outside B, and the “no” statement says nothing at all about A directly. This “some + no” combination is one of the few reliably-valid two-premise syllogism patterns worth memorizing outright, alongside “all + all” and “all + no.”
- One memorable valid pattern: Some A are B + No B are C ⟹ Some A are not C
- Clarifies why “no” statements transfer exclusion but “some” statements do not
- Prevents the common trap of over-concluding “some A are C” or “all A are not C”
AI Mentor Explanation
"Some bowlers are spinners" and "No spinners are wicketkeepers" together guarantee “some bowlers are not wicketkeepers” — because whichever bowlers are confirmed spinners are, by the total exclusion between spinners and wicketkeepers, guaranteed to not be wicketkeepers. What is NOT guaranteed is that no bowler is a wicketkeeper overall, since the “some” statement says nothing about bowlers who aren’t spinners — some of those could still be wicketkeepers for all the premises say. This is exactly the reliable “some + no” pattern: the guaranteed overlap inherits the total exclusion.
Worked example
Premise 1
- Some doctors are researchers
Premise 2
- No researchers are administrators
Valid conclusion
- Some doctors are not administrators
Step-by-Step Explanation
Step 1
Identify the “some” overlap
Find which pair of sets share a guaranteed, confirmed overlap.
Step 2
Identify the “no” total exclusion
Find the pair of sets that are completely disjoint.
Step 3
Chain them through the shared set
The confirmed overlap inherits the total exclusion of the shared middle set.
Step 4
State the certain conclusion narrowly
Only “some X are not Z” follows — never “all” or “no X are Z.”
What Interviewer Expects
- Correct derivation of "Some A are not C" from "Some A are B" + "No B are C"
- Recognizing that “no” statements grant total, symmetric exclusion
- Avoiding the overreach of concluding “no A are C” or “some A are C”
- Explaining why the A’s outside B remain unconstrained by the premises
Common Mistakes
- Concluding “no A are C” when only “some A are not C” is valid
- Concluding “some A are C” when the premises actually forbid any overlap with the confirmed group
- Forgetting that “no” is symmetric — No B are C also means No C are B
- Mixing up which set is the confirmed “some” overlap versus the totally excluded set
Best Answer (HR Friendly)
“When I see "Some A are B" combined with "No B are C," I know the only certain conclusion is "Some A are not C" — the A’s confirmed to be B are automatically outside C, because “no” statements are a total exclusion in both directions. I’m careful not to overreach into “no A are C” or “some A are C,” since the premises say nothing about the A’s that fall outside B.”
Follow-up Questions
- Why is "No B are C" symmetric, and how does that affect the conclusion?
- What conclusion follows from "Some A are B" combined with "All B are C" instead?
- How would adding a third premise change what can be concluded here?
- Can you construct a case where "Some A are B" and "No B are C" yield no valid conclusion at all?
MCQ Practice
1. Some engineers are managers. No managers are interns. What follows?
The engineers confirmed to be managers are, by total exclusion between managers and interns, guaranteed to not be interns.
2. Why can’t "No A are C" be concluded from "Some A are B" and "No B are C"?
The premises are silent on A elements outside the B overlap, so no conclusion can cover all of A.
3. "No X are Y" logically also means?
"No" statements express total, symmetric exclusion, so "No X are Y" is equivalent to "No Y are X."
Flash Cards
Some A are B + No B are C ⟹ ? — Some A are not C (valid, certain conclusion).
Is "No B are C" symmetric? — Yes — it also means "No C are B."
What can’t you conclude from this pattern? — "No A are C" or "Some A are C" — both overreach the premises.
Why does the conclusion only cover “some” of A? — Because the premise never addresses A elements outside the B overlap.