This is clever, but I wouldn't call it a variation on this style of proof — the OP was an example of a somewhat-subtle logic error, while this is just two instances of wordplay (forelegs ⇔ four legs; six legs being an 'odd' number of legs for a horse).

The joke is funny though