  The rule is: whatever follows from the consequent follows from the antecedent. In this case, the consequent is ‘Socrates is a man’, and the antecedent is ‘Socrates is risible’. This looks like a formal rule: