Create a Prolog program that solves the following logic puzzle, printing the right answer for each of the four cases.

There are 4 customers: Genevieve, Lucia, Shawna, Vanessa

There are 4 shoe sizes: 4,5,6,7

There are 4 shoe manufacturers: Abbott Hill, Manzarita, Graffetz, Williford

1. Of the Manzarita footwear and Lucia's pair, one was a size 7 and the other was a size 4.

2. Genevieve's pair was 2 sizes smaller than the Abbott Hill footwear.

3. Vanessa's pair was 2 sizes larger than Genevieve's pair.

4. The Graffetz footwear was somewhat larger than Shawna's pair.

For each customer, show their name, their shoe size and their shoe's manufacturer in a format similar to this:

Joe bought a size 13 Nike.

Tom bought a size 12 Reebok.

(etc.)