Leibniz's Law as an Argument Form:
C is true of a. C is not true of b. a is not b.
Example:
"Has long been paralyzed on the left side of his body" is true of this defendant. "Has long been paralyzed on the left side of his body" is not true of the murder of that child. This defendant is not the murderer of that child.