Robot did fine by leading the singleton ♣. Getting a ruff, and finding partners entry in ♦.
Now after getting the second ruff even a beginner should be able to count the hand
Partner has ♣KQ and ♦AK. Now perhaps partner could have ♥Ace (if 1-3-4-5 and 16 HCP), so we might need to play 2 times ♥ before trying to promote a trump trick, but none of my simulations resulted in playing the ♥7 as the robot did, and gave the contract.