<prompt> Chagua mageuzo bora zaidi hadi kwa predicate logic. Kevin is introduced to José by Wilma. j: José; k: Kevin; w: Wilma; Ixyz: x introduces y to zA. Iwjk B. Ijkw C. Ikjw D. Iwkj  <response>: <reason> D 