Continuing the previous question, consider the same statement: WXEP, 3y EP, Parent(x) ParentOf(x, y) For this problem, we assume the following facts entirely describe the world: John is a parent Mary is a parent No one else is a parent John is a parent of Sally Mary is a parent of Joe No one else is a parent to anyone else There are no people besides John, Mary, Sally, and Joe. (That is, P = {John, Mary, Sally, Joe}.) Given these facts about the world, which of the following strategies proves the statement true? Hint: as usual, remember that -> here is logical implication. Keep in mind what makes an -> true! If my adversary selects John, I will select Sally. Otherwise, I will select Joe. No matter what my adversary does, I will select John. No matter what my adversary does, I will select Sally. Although the statement is true, none of these strategies is correct. There is no successful strategy because the statement is false. Continuing the previous question, consider the same statement: WXEP, 3y EP, Parent(x) ParentOf(x, y) For this problem, we assume the following facts entirely describe the world: John is a parent Mary is a parent No one else is a parent John is a parent of Sally Mary is a parent of Joe No one else is a parent to anyone else There are no people besides John, Mary, Sally, and Joe. (That is, P = {John, Mary, Sally, Joe}.) Given these facts about the world, which of the following strategies proves the statement true? Hint: as usual, remember that -> here is logical implication. Keep in mind what makes an -> true! If my adversary selects John, I will select Sally. Otherwise, I will select Joe. No matter what my adversary does, I will select John. No matter what my adversary does, I will select Sally. Although the statement is true, none of these strategies is correct. There is no successful strategy because the statement is false