If a logical statement is true, it does not imply the inverse is true, but the contrapositive.

Here is a refresher: https://www.varsitytutors.com/hotmath/hotmath_help/topics/co...

Also, who says the intellectually disabled can't be vegans?

I think he’s simply saying that a subset are not able to even understand that there is a choice to be made, and that the logic then would be that you can eat people from that subset.