What is wrong with “If stone then living; it is stone; therefore living”?

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals

• The inference form itself is invalid
• The first conditional is false although the form is valid
• There is no second premise
• The consequent was denied