Then it dawned on him that of course the lawyer did not know.
He knew that the lawyer already knew.
mnli hypothesis: He knew that the lawyer already knew. premise: Then it dawned on him that of course the lawyer did not know.