It's a Martin original *proud* :D
But if you're interested, I'd be happy to provide the logical deduction, they taught us that in school... :D
He's Dutch > he plays for Barca
p -> q
equivalent to
He doesn't play for Barca > he's Dutch
not q -> not p
:D