that there is something such that if it is artesian the fact that it is a mnemonics and it is not a LASEK does not hold is incorrect.
sent1: the fact that the reservoir is mnemonics but it is not a LASEK is false if it is artesian.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if it is artesian the fact that it is a mnemonics and it is not a LASEK does not hold is incorrect. ; $context$ = sent1: the fact that the reservoir is mnemonics but it is not a LASEK is false if it is artesian. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__