He knew the name of the town, thought Jon.
Jon thought he knew that the name of the town was Toronto.
mnli hypothesis: Jon thought he knew that the name of the town was Toronto. premise: He knew the name of the town, thought Jon.