قد يكون إذا كان زيد حيوانا كان كاتبا
It may be the case that, when Zayd is an animal, he is a writer.
The source marks its conclusion with qad yakun, not a universal and necessary claim that every animal is a writer. The common case of being human is where the two descriptions are brought together.
A restricted or particular relationship can be contemplated; the example does not warrant the universal proposition “All animals are writers.”
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
قد يكون إذا كان زيد حيوانا كان كاتبا
It may be the case that, when Zayd is an animal, he is a writer.
The source marks its conclusion with qad yakun, not a universal and necessary claim that every animal is a writer. The common case of being human is where the two descriptions are brought together.
A restricted or particular relationship can be contemplated; the example does not warrant the universal proposition “All animals are writers.”