 After move 5, there is nothing the proponent can do: he cannot answer to move 5 because of the   Formal Rule. But at move 4 the proponent was able to choose which disjunct to state in order to defend. Had he chosen the other disjunct, he would have been able to win: