%domains
%	s=symbol

predicates
	isMale(symbol).
	isFemale(symbol).
	isParent(symbol,symbol).
	
	isMother(symbol,symbol).
	isFather(symbol,symbol).
	isBrother(symbol,symbol).
	isChild(symbol,symbol).
	isDoughter(symbol,symbol).
	isSon(symbol,symbol).
	isGrandFather(symbol,symbol).
	isGrandMother(symbol,symbol).
	isСousin(symbol,symbol).
	hasChildren(symbol).
	isGrandFather(symbol).
	isGrandMother(symbol).
	hasBrother(symbol).
	hasSister(symbol).
	hasCousin(symbol).

clauses
	isMale(Bob).
	isMale(Sam).
	isMale(Hurry).
	isMale(Bill).
	isMale(Jack).
	isMale(Jim).
	isMale(George).
	
	isFemale(Ann).
	isFemale(Lise).
	isFemale(Maria).
	isFemale(Katherine).
	isFemale(Angelina).
	isFemale(Hellen).
	isFemale(Tess).
	isFemale(Jassica).
	
	isParent(Bob,Lise).	
	isParent(Bob,Hurry).
	isParent(Ann,Lise).
	isParent(Ann,Hurry).
	isParent(Sam,Katherine).
	isParent(Sam,Angelina).	
	isParent(Lise,Katherine).	
	isParent(Lise,Angelina).	
	isParent(Bill,Jim).	
	isParent(Katherine,Jim).
	isParent(Hurry,Jack).
	isParent(Maria,Jack).
	isParent(Jack,Tess).
	isParent(Jack,Jassica).
	isParent(Jack,George).
	isParent(Hellen,Tess).
	isParent(Hellen,Jassica).
	isParent(Hellen,George).