Knowledge Base — Problem 3: Use resolution technique to see if r is logical consequence of given Knowledge Base.

[Kargulix]

Are my solutions correct? The number in the circle indicates the problem/task number. Thank you and best regards!