See the multi-choice question below:

Sentence 1: A certain unemployed mathematician from Afroasia worked out the Ligadul's Law, based on which, and after considering a maximum number of variation, one could calculate the so-called near future (counted in days, or at the very most in weeks, from the date of calculation).

Sentence 2: Nobody has worked out The Ligadul's Law yet, it remains one of the biggest mysteries of our universe.

If the first sentence is true, then is the second sentence true?
Choose from:
1). yes.
2). it is not possible to tell.
3). no.
3).