Knowledge base to use for resolution (Q1 facts):

TJ(X) Greg(X) Taylor(X) Member(X)

x Member(X) GC(X) Sprinter(X) (GC(X) Sprinter(X))

( Sprinter(X) Like(Wind)) (x GC(X) Like(Mountains))

Greg(Like) TJ(Like)

Greg(Like) TJ(Like)

TJ(X) Like(Wind) Like(Mountains)

Question 2. Using resolution, determine if the following statement is entailed by the Q1 facts, There exists a team member of BMC who is not a GC rider, but is a Sprinter (a)