(truth
(eval `(store trent ,trent))
(eval `(store trudy ,trudy))
(eval `(store victor ,victor))
(eval `(store walter ,walter))
(eval `(store zoe ,zoe))
)
(show
(findany (gtp age 40))
(findany (eqp sex neuter))
(findany (eqp married n))
(findany (and (gtp salary 45000) (ltp salary 50000)))
)