% Database of relatives in Genesis.

% female(F) :- F was female.
female(pillar_of_salt).
female(adah1).
female(adah2).
female(asenath).
female(basemath).
female(bathshua).
female(bilhah).
female(dinah).
female(eve).
female(hagar).
female(judith).
female(keturah).
female(leah).
female(mahalath).
female(matred).
female(mehetabel).
female(milcah).
female(naamah).
female(oholibamah).
female(rachel).
female(rebecca).
female(reumah).
female(sarah).
female(serah).
female(tamar).
female(timna1).
female(timna2).
female(zillah).
female(zilpah).

% male(M) :- M was male.
male(abel).
male(abida).
male(abimael).
male(abimelech).
male(abraham).
male(adam).
male(adbeel).
male(ahuzzath).
male(aiah).
male(akan).
male(akbor).
male(almodad).
male(alvan).
male(amalek).
male(amraphel).
male(anah).
male(aner).
male(aram1).
male(aram2).
male(aran).
male(ard).
male(areli).
male(arioch).
male(arodi).
male(arphaxad).
male(ashbel).
male(asher).
male(ashkenaz).
male(asshur).
male(asshurim).
male(baal_hanan).
male(becher).
male(bedad).
male(beeri).
male(bela1).
male(bela2).
male(ben_ammi).
male(benjamin).
male(beor).
male(bera).
male(beria).
male(bethuel).
male(bilhan).
male(birsha).
male(buz).
male(cain).
male(canaan).
male(carmi).
male(cheran).
male(cush).
male(dan).
male(dedan1).
male(dedan2).
male(diklah).
male(dishan).
male(dishon).
male(dumah).
male(ebal).
male(eber).
male(ehi).
male(elam).
male(eldaah).
male(eliezer).
male(eliphaz).
male(elisha).
male(elon1).
male(elon2).
male(enoch1).
male(enoch2).
male(enoch3).
male(enoch4).
male(enosh).
male(ephah).
male(epher).
male(ephraim).
male(ephron).
male(er).
male(eri).
male(esau).
male(eshban).
male(eshcol).
male(ezbon).
male(ezer).
male(gad).
male(gaham).
male(gatam).
male(gera).
male(gershon).
male(gether).
male(gomer).
male(guni).
male(hadad1).
male(hadad2).
male(hadar).
male(hadoram).
male(haggi).
male(ham).
male(hamor).
male(hamul).
male(haran).
male(havilah1).
male(havilah2).
male(hazarmoth).
male(hazo).
male(heber).
male(hemam).
male(hemdan).
male(heth).
male(hezron1).
male(hezron2).
male(hirah).
male(hori).
male(hul).
male(huppim).
male(husham).
male(hushim).
male(imnah).
male(iob).
male(irad).
male(isaac).
male(iscah).
male(ishbak).
male(ishmael).
male(ishvah).
male(ishvi).
male(issachar).
male(ithran).
male(jabel).
male(jachin).
male(jacob).
male(jahleel).
male(jahzeel).
male(jalam).
male(jamin).
male(japheth).
male(jared).
male(javan).
male(jemuel).
male(jerah).
male(jetur).
male(jeush).
male(jezer).
male(jidlaph).
male(jobab1).
male(jobab2).
male(jokshan).
male(joktan).
male(joseph).
male(jubal).
male(judah).
male(kedar).
male(kedemah).
male(kedorlaomer).
male(kemuel).
male(kenan).
male(kenaz).
male(kesed).
male(kittim).
male(kohath).
male(korah1).
male(korah2).
male(laban).
male(lamech1).
male(lamech2).
male(letushim).
male(leummim).
male(levi).
male(lot).
male(lotan).
male(lud).
male(maacah).
male(machir).
male(madai).
male(magog).
male(mahalelel).
male(malchiel).
male(mamre).
male(manahath).
male(manasseh1).
male(manasseh2).
male(mash).
male(massa).
male(medan).
male(mehujael).
male(melchizedek).
male(merari).
male(meshech).
male(methusaleh).
male(methushael).
male(mibsam).
male(midian).
male(mishma).
male(mizraim).
male(mizzah).
male(moab).
male(muppim).
male(naaman).
male(nahath).
male(nahor1).
male(nahor2).
male(naphish).
male(naphtali).
male(nebaioth).
male(nimrod).
male(noah).
male(obal).
male(ohad).
male(omar).
male(onam).
male(onan).
male(ophir).
male(pallu).
male(peleg).
male(perez).
male(pharaoh1).
male(pharaoh2).
male(phicol).
male(pildash).
male(potiphar).
male(potiphera).
male(pua).
male(put).
male(raamah).
male(reu).
male(reuben).
male(reuel).
male(riphath).
male(rodanim).
male(rosh).
male(sabtah).
male(sabtecha).
male(samlah).
male(saul1).
male(saul2).
male(seba).
male(seir).
male(sered).
male(serug).
male(seth).
male(shammah).
male(sheba1).
male(sheba2).
male(sheba3).
male(shechem).
male(shelah1).
male(shelah2).
male(sheleph).
male(shem).
male(shemeber).
male(shepho).
male(shillem).
male(shimron).
male(shinab).
male(shobal).
male(shuah).
male(shuni).
male(sidon).
male(simeon).
male(tahash).
male(tarshish).
male(tebah).
male(teman1).
male(teman2).
male(terah).
male(tidal).
male(tiras).
male(togarmah).
male(tola).
male(tubal).
male(tubal_cain).
male(uz1).
male(uz2).
male(uz3).
male(uzal).
male(zavan).
male(zebulun).
male(zepho).
male(zerah1).
male(zerah2).
male(zerah3).
male(zibeon).
male(zimran).
male(ziphion).
male(zohar1).
male(zohar2).

% affair(M,F) :- M was male, F female, and they had an affair outside marriage.
affair(hamor,dinah).
affair(reuben,bilhah).

% married(M,F) :- M was male, F female, and M and F were married.
married(abraham,hagar).
married(abraham,keturah).
married(abraham,sarah).
married(adam,eve).
married(eliphaz,timna1).
married(er,tamar).
married(esau,adah2).
married(esau,basemath).
married(esau,judith).
married(esau,mahalath).
married(esau,oholibamah).
married(hadar,mehetabel).
married(isaac,rebecca).
married(jacob,bilhah).
married(jacob,leah).
married(jacob,rachel).
married(jacob,zilpah).
married(joseph,asenath).
married(judah,bathshua).
married(judah,tamar).
married(lamech1,adah1).
married(lamech1,zillah).
married(lot,pillar_of_salt).
married(nahor2,milcah).
married(nahor2,reumah).
married(pharaoh1,sarah).

% parent(P,C) :- P was the parent of C.
parent(abraham,isaac).
parent(abraham,ishbak).
parent(abraham,ishmael).
parent(abraham,jokshan).
parent(abraham,medan).
parent(abraham,midian).
parent(abraham,shuah).
parent(abraham,zimran).
parent(adah2,eliphaz).
parent(adah1,jabel).
parent(adah1,jubal).
parent(adam,abel).
parent(adam,cain).
parent(adam,seth).
parent(anah,dishon).
parent(anah,oholibamah).
parent(aram1,gether).
parent(aram1,hul).
parent(aram1,mash).
parent(aram1,uz1).
parent(arphaxad,shelah1).
parent(asenath,ephraim).
parent(asenath,manasseh1).
parent(asher,beria).
parent(asher,imnah).
parent(asher,ishvah).
parent(asher,ishvi).
parent(asher,serah).
parent(baal_hanan,akbor).
parent(basemath,reuel).
parent(bathshua,er).
parent(bathshua,onan).
parent(bathshua,shelah2).
parent(bedad,hadad2).
parent(beeri,judith).
parent(bela2,ard).
parent(bela2,ehi).
parent(bela2,gera).
parent(bela2,huppim).
parent(bela2,muppim).
parent(bela2,naaman).
parent(bela2,rosh).
parent(benjamin,ashbel).
parent(benjamin,becher).
parent(benjamin,bela2).
parent(beor,bela1).
parent(beria,heber).
parent(beria,malchiel).
parent(bethuel,laban).
parent(bethuel,rebecca).
parent(bilhah,dan).
parent(bilhah,naphtali).
parent(cain,enoch1).
parent(canaan,heth).
parent(canaan,sidon).
parent(cush,havilah1).
parent(cush,nimrod).
parent(cush,raamah).
parent(cush,sabtah).
parent(cush,sabtecha).
parent(cush,seba).
parent(dan,hushim).
parent(dedan2,asshurim).
parent(dedan2,letushim).
parent(dedan2,leummim).
parent(dishan,aran).
parent(dishan,uz3).
parent(dishon,cheran).
parent(dishon,eshban).
parent(dishon,hemdan).
parent(dishon,ithran).
parent(eber,joktan).
parent(eber,peleg).
parent(eliphaz,amalek).
parent(eliphaz,gatam).
parent(eliphaz,kenaz).
parent(eliphaz,korah2).
parent(eliphaz,omar).
parent(eliphaz,teman2).
parent(eliphaz,zepho).
parent(elon1,adah2).
parent(enoch1,irad).
parent(enoch2,methusaleh).
parent(enosh,kenan).
parent(esau,eliphaz).
parent(esau,jalam).
parent(esau,jeush).
parent(esau,korah1).
parent(esau,reuel).
parent(eve,abel).
parent(eve,cain).
parent(eve,seth).
parent(ezer,akan).
parent(ezer,bilhan).
parent(ezer,zavan).
parent(gad,areli).
parent(gad,arodi).
parent(gad,eri).
parent(gad,ezbon).
parent(gad,haggi).
parent(gad,shuni).
parent(gad,ziphion).
parent(gomer,ashkenaz).
parent(gomer,riphath).
parent(gomer,togarmah).
parent(hagar,ishmael).
parent(ham,canaan).
parent(ham,cush).
parent(ham,mizraim).
parent(ham,put).
parent(hamor,shechem).
parent(haran,iscah).
parent(haran,lot).
parent(haran,milcah).
parent(irad,mehujael).
parent(isaac,esau).
parent(isaac,jacob).
parent(ishmael,adbeel).
parent(ishmael,basemath).	% 36:3 beats 26:35
parent(ishmael,dumah).
parent(ishmael,hadad1).
parent(ishmael,jetur).
parent(ishmael,kedar).
parent(ishmael,kedemah).
parent(ishmael,mahalath).
parent(ishmael,massa).
parent(ishmael,mibsam).
parent(ishmael,mishma).
parent(ishmael,naphish).
parent(ishmael,nebaioth).
parent(ishmael,teman1).
parent(issachar,iob).
parent(issachar,pua).
parent(issachar,shimron).
parent(issachar,tola).
parent(jacob,asher).
parent(jacob,benjamin).
parent(jacob,dan).
parent(jacob,dinah).
parent(jacob,gad).
parent(jacob,issachar).
parent(jacob,joseph).
parent(jacob,judah).
parent(jacob,levi).
parent(jacob,naphtali).
parent(jacob,reuben).
parent(jacob,simeon).
parent(jacob,zebulun).
parent(japheth,gomer).
parent(japheth,javan).
parent(japheth,madai).
parent(japheth,magog).
parent(japheth,meshech).
parent(japheth,tiras).
parent(japheth,tubal).
parent(jared,enoch2).
parent(javan,elisha).
parent(javan,kittim).
parent(javan,rodanim).
parent(javan,tarshish).
parent(jokshan,dedan2).
parent(jokshan,sheba3).
parent(joktan,abimael).
parent(joktan,almodad).
parent(joktan,diklah).
parent(joktan,hadoram).
parent(joktan,havilah2).
parent(joktan,hazarmoth).
parent(joktan,jerah).
parent(joktan,jobab1).
parent(joktan,obal).
parent(joktan,ophir).
parent(joktan,sheba2).
parent(joktan,sheleph).
parent(joktan,uzal).
parent(joseph,ephraim).
parent(joseph,manasseh1).
parent(judah,er).
parent(judah,onan).
parent(judah,perez).
parent(judah,shelah2).
parent(judah,zerah3).
parent(kemuel,aram2).
parent(kenan,mahalelel).
parent(keturah,ishbak).
parent(keturah,jokshan).
parent(keturah,medan).
parent(keturah,midian).
parent(keturah,shuah).
parent(keturah,zimran).
parent(laban,leah).
parent(laban,rachel).
parent(lamech1,jabel).
parent(lamech1,jubal).
parent(lamech1,naamah).
parent(lamech1,tubal_cain).
parent(lamech2,noah).
parent(leah,dinah).
parent(leah,issachar).
parent(leah,judah).
parent(leah,levi).
parent(leah,reuben).
parent(leah,simeon).
parent(leah,zebulun).
parent(levi,gershon).
parent(levi,kohath).
parent(levi,merari).
parent(lot,ben_ammi).
parent(lot,moab).
parent(lotan,hemam).
parent(lotan,hori).
parent(machir,manasseh2).
parent(mahalelel,jared).
parent(matred,mehetabel).
parent(mehujael,methushael).
parent(methusaleh,lamech2).
parent(methushael,lamech1).
parent(midian,abida).
parent(midian,eldaah).
parent(midian,enoch3).
parent(midian,ephah).
parent(midian,epher).
parent(milcah,bethuel).
parent(milcah,buz).
parent(milcah,hazo).
parent(milcah,jidlaph).
parent(milcah,kemuel).
parent(milcah,kesed).
parent(milcah,pildash).
parent(milcah,uz2).
parent(nahor1,terah).
parent(nahor2,bethuel).
parent(nahor2,buz).
parent(nahor2,gaham).
parent(nahor2,hazo).
parent(nahor2,jidlaph).
parent(nahor2,kemuel).
parent(nahor2,kesed).
parent(nahor2,maacah).
parent(nahor2,pildash).
parent(nahor2,tahash).
parent(nahor2,tebah).
parent(nahor2,uz2).
parent(naphtali,guni).
parent(naphtali,jahzeel).
parent(naphtali,jezer).
parent(naphtali,shillem).
parent(noah,ham).
parent(noah,japheth).
parent(noah,shem).
parent(oholibamah,jalam).
parent(oholibamah,jeush).
parent(oholibamah,korah1).
parent(peleg,reu).
parent(perez,hamul).
parent(perez,hezron2).
parent(potiphera,asenath).
parent(raamah,dedan1).
parent(raamah,sheba1).
parent(rachel,benjamin).
parent(rachel,joseph).
parent(rebecca,esau).
parent(rebecca,jacob).
parent(reu,serug).
parent(reuben,carmi).
parent(reuben,enoch4).
parent(reuben,hezron1).
parent(reuben,pallu).
parent(reuel,mizzah).
parent(reuel,nahath).
parent(reuel,shammah).
parent(reuel,zerah1).
parent(reumah,gaham).
parent(reumah,maacah).
parent(reumah,tahash).
parent(reumah,tebah).
parent(sarah,isaac).
parent(seir,dishan).
parent(seir,ezer).
parent(seir,lotan).
parent(seir,shobal).
parent(seir,timna2).
parent(seir,zibeon).
parent(serug,nahor1).
parent(seth,enosh).
parent(shelah1,eber).
parent(shem,aram1).
parent(shem,arphaxad).
parent(shem,asshur).
parent(shem,elam).
parent(shem,lud).
parent(shobal,alvan).
parent(shobal,ebal).
parent(shobal,manahath).
parent(shobal,onam).
parent(shobal,shepho).
parent(simeon,jachin).
parent(simeon,jamin).
parent(simeon,jemuel).
parent(simeon,ohad).
parent(simeon,saul2).
parent(simeon,zohar2).
parent(tamar,perez).
parent(tamar,zerah3).
parent(terah,abraham).
parent(terah,haran).
parent(terah,nahor2).
parent(terah,sarah).
parent(timna1,amalek).
parent(zebulun,elon2).
parent(zebulun,jahleel).
parent(zebulun,sered).
parent(zerah2,jobab2).
parent(zibeon,aiah).
parent(zibeon,anah).
parent(zillah,naamah).
parent(zillah,tubal_cain).
parent(zilpah,asher).
parent(zilpah,gad).
parent(zohar1,ephron).

% You can assume that bogus(X) never succeeds.
bogus(disordered(M,F)) :-
	(affair(M,F) ; married(M,F)),
	\+ (male(M),female(F)).
bogus(funny_parents(M,F,X)) :-
	parent(M,X), parent(F,X),
	\+ (F=M ; male(F),female(M) ; female(F),male(M)).
bogus(both_sexes(X)) :-
	male(X),
	female(X).