(truth
(eval `(store charlie ,charlie))
(eval `(store dave ,dave))
(eval `(store eve ,eve))
(eval `(store isaac ,isaac))
(eval `(store ivan ,ivan))
)
(show
(findnext (eqp sex m))
(findnext (eqp sex m))
(findnext (eqp married n))
(findnext (eqp married n))
(findnext (gtp height 160))
(findnext (gtp height 160))
(findnext (gtp height 160))
)