pt(father(A,B),pt(parent(B,C),rhs([grandFather(A,C)]))). pt(parent(A,B),pt(male(A),rhs([father(A,B)]))). pt(father(A,B),rhs([parent(A,B),male(A)])). pt(parent(A,B),rhs([child(B,A)])). pt(child(A,B),rhs([parent(B,A)])). pt(male(tom),rhs([father(tom,tim)])). pt(parent(tim,A),rhs([grandFather(tom,A)])). pt(male(tim),rhs([father(tim,clare)])). pt(parent(peter,A),rhs([grandFather(tim,A)])). pt(male(tim),rhs([father(tim,peter)])). pt(parent(clare,A),rhs([grandFather(tim,A)])). father(A,B),parent(B,C)=>grandFather(A,C). parent(A,B),male(A)<=>father(A,B). parent(A,B)<=>child(B,A). fcSupport(uu,(father(A,B),parent(B,C)=>grandFather(A,C))). fcSupport(((father(A,B),parent(B,C)=>grandFather(A,C)),user),pt(father(A,B),pt(parent(B,C),rhs([grandFather(A,C)])))). fcSupport(uu,(parent(A,B),male(A)<=>father(A,B))). fcSupport(((parent(A,B),male(A)<=>father(A,B)),user),pt(parent(A,B),pt(male(A),rhs([father(A,B)])))). fcSupport(((parent(A,B),male(A)<=>father(A,B)),user),pt(father(A,B),rhs([parent(A,B),male(A)]))). fcSupport(uu,(parent(A,B)<=>child(B,A))). fcSupport(((parent(A,B)<=>child(B,A)),user),pt(parent(A,B),rhs([child(B,A)]))). fcSupport(((parent(A,B)<=>child(B,A)),user),pt(child(B,A),rhs([parent(A,B)]))). fcSupport(uu,male(tom)). fcSupport(uu,parent(tom,tim)). fcSupport((parent(tom,tim),pt(parent(tom,tim),pt(male(tom),rhs([father(tom,tim)])))),pt(male(tom),rhs([father(tom,tim)]))). fcSupport((male(tom),pt(male(tom),rhs([father(tom,tim)]))),father(tom,tim)). fcSupport((father(tom,tim),pt(father(tom,tim),pt(parent(tim,A),rhs([grandFather(tom,A)])))),pt(parent(tim,A),rhs([grandFather(tom,A)]))). fcSupport((father(tom,tim),pt(father(tom,tim),rhs([parent(tom,tim),male(tom)]))),parent(tom,tim)). fcSupport((father(tom,tim),pt(father(tom,tim),rhs([parent(tom,tim),male(tom)]))),male(tom)). fcSupport((parent(tom,tim),pt(parent(tom,tim),rhs([child(tim,tom)]))),child(tim,tom)). fcSupport((child(tim,tom),pt(child(tim,tom),rhs([parent(tom,tim)]))),parent(tom,tim)). fcSupport(uu,child(clare,tim)). fcSupport((child(clare,tim),pt(child(clare,tim),rhs([parent(tim,clare)]))),parent(tim,clare)). fcSupport((parent(tim,clare),pt(parent(tim,clare),pt(male(tim),rhs([father(tim,clare)])))),pt(male(tim),rhs([father(tim,clare)]))). fcSupport((parent(tim,clare),pt(parent(tim,clare),rhs([child(clare,tim)]))),child(clare,tim)). fcSupport((parent(tim,clare),pt(parent(tim,clare),rhs([grandFather(tom,clare)]))),grandFather(tom,clare)). fcSupport(uu,father(tim,peter)). fcSupport((father(tim,peter),pt(father(tim,peter),pt(parent(peter,A),rhs([grandFather(tim,A)])))),pt(parent(peter,A),rhs([grandFather(tim,A)]))). fcSupport((father(tim,peter),pt(father(tim,peter),rhs([parent(tim,peter),male(tim)]))),parent(tim,peter)). fcSupport((parent(tim,peter),pt(parent(tim,peter),pt(male(tim),rhs([father(tim,peter)])))),pt(male(tim),rhs([father(tim,peter)]))). fcSupport((parent(tim,peter),pt(parent(tim,peter),rhs([child(peter,tim)]))),child(peter,tim)). fcSupport((child(peter,tim),pt(child(peter,tim),rhs([parent(tim,peter)]))),parent(tim,peter)). fcSupport((parent(tim,peter),pt(parent(tim,peter),rhs([grandFather(tom,peter)]))),grandFather(tom,peter)). fcSupport((father(tim,peter),pt(father(tim,peter),rhs([parent(tim,peter),male(tim)]))),male(tim)). fcSupport((male(tim),pt(male(tim),rhs([father(tim,clare)]))),father(tim,clare)). fcSupport((father(tim,clare),pt(father(tim,clare),pt(parent(clare,A),rhs([grandFather(tim,A)])))),pt(parent(clare,A),rhs([grandFather(tim,A)]))). fcSupport((father(tim,clare),pt(father(tim,clare),rhs([parent(tim,clare),male(tim)]))),parent(tim,clare)). fcSupport((father(tim,clare),pt(father(tim,clare),rhs([parent(tim,clare),male(tim)]))),male(tim)). fcSupport((male(tim),pt(male(tim),rhs([father(tim,peter)]))),father(tim,peter)).