Vikipedija
Laisvojoje enciklopedijoje yra straipsnis:

Daiktavardis

taisyti

Petrulis (Pavardės) - lietuviška vyriškos giminės pavardė.