gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
gender(male,charles).
gender(male,mark).
gender(male,andrew).
gender(male,william).
gender(female,mary).
gender(female,alice).
gender(female,wallis).
gender(female,elizabeth).
gender(female,allison).
gender(female,judy).
gender(female,margaret).
gender(female,sophie).
gender(female,martha).
gender(female,anne).
gender(female,sarah).
gender(female,heather).

Z2VuZGVyKG1hbGUsZ2VvcmdlKS4KZ2VuZGVyKG1hbGUsaGVucnkpLgpnZW5kZXIobWFsZSxlZHdhcmQpLgpnZW5kZXIobWFsZSxsdWtlKS4KZ2VuZGVyKG1hbGUsZ3JlZ29yeSkuCmdlbmRlcihtYWxlLHBoaWxpcCkuCmdlbmRlcihtYWxlLGFudG9ueSkuCmdlbmRlcihtYWxlLGVkd2FyZCkuCmdlbmRlcihtYWxlLGNoYXJsZXMpLgpnZW5kZXIobWFsZSxtYXJrKS4KZ2VuZGVyKG1hbGUsYW5kcmV3KS4KZ2VuZGVyKG1hbGUsd2lsbGlhbSkuCmdlbmRlcihmZW1hbGUsbWFyeSkuCmdlbmRlcihmZW1hbGUsYWxpY2UpLgpnZW5kZXIoZmVtYWxlLHdhbGxpcykuCmdlbmRlcihmZW1hbGUsZWxpemFiZXRoKS4KZ2VuZGVyKGZlbWFsZSxhbGxpc29uKS4KZ2VuZGVyKGZlbWFsZSxqdWR5KS4KZ2VuZGVyKGZlbWFsZSxtYXJnYXJldCkuCmdlbmRlcihmZW1hbGUsc29waGllKS4KZ2VuZGVyKGZlbWFsZSxtYXJ0aGEpLgpnZW5kZXIoZmVtYWxlLGFubmUpLgpnZW5kZXIoZmVtYWxlLHNhcmFoKS4KZ2VuZGVyKGZlbWFsZSxoZWF0aGVyKS4=

Z2VuZGVyKFAsV2FsbGlzKSwgZm9ybWF0KCd+d1xuJyxbUF0pLGZhaWwu

gender(P,Wallis), format('~w\n',[P]),fail.