Verify the validity of the following arguments using inference logic.
Every living thing is a plant or animal.
David's dog is alive and is not a plant.
All animals have hearts.
Therefore, John's gold fish has a heart.