If it is true that...

Contemporary Jewish sources derided Jesus and called him a lunatic

and

If Jesus existed, one would expect contemporary Jewish sources to deride Him and call Him a lunatic

Then it must be true that...

The historical existence of Jesus is quite certain