% gender(X,Y): person Y is of gender X
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).
JSBnZW5kZXIoWCxZKTogcGVyc29uIFkgaXMgb2YgZ2VuZGVyIFgKCmdlbmRlcihtYWxlLGdlb3JnZSkuCgpnZW5kZXIobWFsZSxoZW5yeSkuCgpnZW5kZXIobWFsZSxlZHdhcmQpLgoKZ2VuZGVyKG1hbGUsbHVrZSkuCgpnZW5kZXIobWFsZSxncmVnb3J5KS4KCmdlbmRlcihtYWxlLHBoaWxpcCkuCgpnZW5kZXIobWFsZSxhbnRvbnkpLgoKZ2VuZGVyKG1hbGUsZWR3YXJkKS4KCmdlbmRlcihtYWxlLGNoYXJsZXMpLgoKZ2VuZGVyKG1hbGUsbWFyaykuCgpnZW5kZXIobWFsZSxhbmRyZXcpLgoKZ2VuZGVyKG1hbGUsd2lsbGlhbSkuCgpnZW5kZXIoZmVtYWxlLG1hcnkpLgoKZ2VuZGVyKGZlbWFsZSxhbGljZSkuCgpnZW5kZXIoZmVtYWxlLHdhbGxpcykuCgpnZW5kZXIoZmVtYWxlLGVsaXphYmV0aCkuCgpnZW5kZXIoZmVtYWxlLGFsbGlzb24pLgoKZ2VuZGVyKGZlbWFsZSxqdWR5KS4KCmdlbmRlcihmZW1hbGUsbWFyZ2FyZXQpLgoKZ2VuZGVyKGZlbWFsZSxzb3BoaWUpLgoKZ2VuZGVyKGZlbWFsZSxtYXJ0aGEpLgoKZ2VuZGVyKGZlbWFsZSxhbm5lKS4KCmdlbmRlcihmZW1hbGUsc2FyYWgpLgoKZ2VuZGVyKGZlbWFsZSxoZWF0aGVyKS4=