Оп­ро­вер­же­ние пре­дшествую­ще­го, соответственно описывается схемой:

А => Б
А лож­но
Б лож­но

Пророк => знает
Не пророк
Не знает

Но, опять же, сам фарисей пророком не был, и, тем не менее, это не мешало ему знать, кто и какая это женщина.