Seeing Triple logic puzzle

[Doug Edmunds]

I first tried to solve this in ECLiPSe
many years ago, but couldn't.  I've
been trying to solve in Picat and again
getting stumped.

Can anyone solve it in Picat?

/*
Title: Seeing Triple
Author: Janet Fleming
Publication: Dell Logic Puzzles
Issue: February, 2000

This year's Twin Convention in Twinsburg, Ohio, attracted some usual visitors -- five sets of triplets! Each set of triplets comes from a different state, and each is a different age (25, 27, 29, 31, or 33). No set of trips consists of three siblings of the same gender. The seven men are Boris, Clay, Dan, Morris, Perry, Ray, and Wayne, and the eight women are Ann, Doris, Faye, Jane, Keri, Lois, Melissa, and Nan. The triplets had a wonderful time at the event, and they invited all the twins to next year's Triplet Convention in Three Forks, Montana. Can you match up each set of triplets with their age and home state?

1. Wayne and his brother are not 33 years old.
2. Dan is not related to Melissa or to Nan.
3. Jane is two years younger than Boris and two years older than Nan (who isn't related to Ray).
4. Lois (who has both a brother and a sister) is two years younger than Keri, who is two years younger than the triplets from Connecticut.
5. The Delaware triplets don't include Ray (who isn't Lois's brother).
6. The triplets from Arizona consist of two sisters and a brother.
7. Boris's brother isn't Perry (who isn't related to Keri).
8. Doris (who isn't related to Nan) lives in Maine.
9. Two brothers hail from Florida, but they don't include Boris (who isn't related to Doris).
10. Nan's only brother isn't Morris.
11. Morris and his two sisters live in Connecticut.
12. Ann and her siblings are younger than at least two other sets of triplets.
13. Doris and her siblings are not the youngest triplets.

Determine: Age -- State -- Triplets names

Solution from the Puzzle Magazine:

25, Florida, Ann, Ray, Wayne
27, Maine, Doris, Lois, Perry
29, Arizona, Clay, Keri, Nan
31, Connecticut, Jane, Melissa, Morris
33, Delaware, Boris, Dan, Faye

*/

[Peter Bernschneider]

Hi Doug,

here is a Picat program, which solves this puzzle: https://github.com/bernschneider/picat/blob/main/seeingtriple.pi
Feel free to ask, if you have any questions!

Best wishes, Peter

[Doug Edmunds]

Thanks!