सिलजिज़म टाइप 1

Some hens are fish. (I-Type)
All fish are birds. (A-Type)
I+A ⇒ I-type
“Some hens are birds.”
This is Conclusion I.

Both the Premises are Particular Affirmative.
No Conclusion follows from Particular Premises.

Conclusions I and II form Complementary Pair.
Therefore, either Conclusion I or II follows.

All bats are boys. (A-Type)
All boy are gloves. (A-Type)
A + A ⇒ A type Conclusion
“All bats are gloves.”
This is Conclusion II.
Conclusion I is Converse of this Conclusion.

All bats are boys. (A-Type)
All boys are gloves. (A-Type)
A+A ⇒ A type Conclusion
“All bats are gloves.”
This is Conclusion II.
Conclusion I is Converse of this Conclusion.

Conclusion I is the conversion of the first statement, hence I follows.
But II does not follow because A+A ⇒ A type Conclusion
i.e., All leaders are good orators but not vice versa.

A+A ⇒ A type Conclusion
i.e., All terrorists are bad.

I does not follow. But II follows because it is the conversion of the first statement.

All graduates are chairs.
All chairs are tables
Conclusion: All graduates are tables. (A+A⇒A-type)
Hence I follows.
Conclusion: Some tables are graduates. (Conversion)
Hence II does not follows.

Every minister is a student.
Every student is inexperienced.
Conclusion: Every minister is inexperienced. (A+A⇒A-type)
Hence I follows.
Every student is inexperienced.
Conclusion: Some inexperienced are students. (Conversion)
Hence II follows.

Some teachers are followers.
Conclusion: Some followers are teachers. (Conversion)
Hence, II follows.
Since both statements are I-type, therefore, Conclusion I does not follow.

Some dedicated souls are angles.
Conclusion: Some angels are dedicated souls. (Conversion)
Statement: All social workers are angels
Conclusion: Some social workers are angels. (Implication)
Some angels are social workers. (Conversion)
No mediate inference follows. Hence, no given Conclusions follows.

Conversion of 2nd statement + 1st Statement gives conclusion III (I+A⇒I-type).
Hence, III follows but conclusions I and II do not follow.

1st Statement + 2nd Statement gives the conclusion
“All rats are cars” (A+A⇒A-type)
“Some cars are rats”.
Hence neither conclusion II nor conclusion III follows.
Since the conversion of first Statement will give the conclusion “Some bells are rats”.
Hence, conclusion I does not follow.

Conversion of first Statement gives conclusion II.
Hence, conclusion II follows.
Again 1st Statement + 2nd statement gives conclusion III (A+E⇒E-type).
Hence, conclusion III follows.
Conclusion I follows from the conversion of conclusion III. Hence, All follow.

Conclusion II follows from the conversion of first Statement.
Now, 2nd statement + conversion of 1st Statement gives no conclusion (A+I⇒no conclusion).
Hence, conclusions I and III do not follow.
But conclusion I and conclusion III make an IE-type complementary pair.
Hence either conclusion I or conclusion III follows.

1st Statement + 2nd statement gives no conclusion (I+I⇒no conclusion).
Therefore, conclusion I does not follow.
Again conversion of 2nd statement gives the conclusion “Some rods are lamps”.
Hence, conclusions II and III do not follow.

1st Statement + 2nd statement gives no conclusion. [A+I⇒no conclusion].
Hence, conclusion I and conclusion III do not follow independently.
But, conclusion I and conclusion III make a complementary pair (IE-type).
Hence, either I or III follows.
Conclusion II does not follow because “All tables are boxes” gives only the following conclusions:
1. Some tables are boxes.
2. Some boxes are tables.

1st statement + 2nd statement gives the conclusion
“Some goats are not rooms” [E+A⇒O*].
Thus, conclusions I and II do not follow.
Conclusion III follows from second statement.

1st statement + 2nd statement gives no conclusion
[I+I⇒no conclusion].
Hence, conclusion II does not follow.
Conclusion I follows from conversion of 1st Statement.
On a similar basis, conclusion III also follows.

Conversion of 1st Statement gives the conclusion
“Some lions are men”.
Hence, conclusion II follows [say statement].
Now, 2nd statement + conclusion II gives no conclusion
[A+I⇒no conclusion].
Therefore, conclusion I does not follow.
Conclusion III does not follow because an A-type statement gives I-type conclusions.