that there is something such that if it is not a backed or does not minstrel analyticity or both it is astronomic is false.
sent1: if the bracken does not back or does not minstrel analyticity or both it is astronomic.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a backed or does not minstrel analyticity or both it is astronomic is false. ; $context$ = sent1: if the bracken does not back or does not minstrel analyticity or both it is astronomic. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__