domains
	s=symbol.

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

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).