Yeah, so the following actually is valid: If all pairs of horses are the same color, all horses are the same color. Just starting the induction one step further.
Actually a quite interesting article: https://en.wikipedia.org/wiki/All_horses_are_the_same_color
Native in what sense? As I understand it that uses a VM of some sort