the text does not disobey Lygus.
sent1: there exists something such that that it is a crossword hold. sent2: if something is a crossword the text does disobey Lygus.
sent1 & sent2 -> hypothesis;
$hypothesis$ = the text does not disobey Lygus. ; $context$ = sent1: there exists something such that that it is a crossword hold. sent2: if something is a crossword the text does disobey Lygus. ; $proof$ = 
sent1 & sent2 -> hypothesis; __DISPROVED__