there exists something such that if it does not neglect Sanskrit and it does stud haying then it is not a kind of a English.
sent1: if the fanion does not neglect Sanskrit and studs haying then it is not a English. sent2: there exists something such that if it neglects Sanskrit and it studs haying it is not English. sent3: if the fanion does neglect Sanskrit and studs haying then that it is not a English is not false.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not neglect Sanskrit and it does stud haying then it is not a kind of a English. ; $context$ = sent1: if the fanion does not neglect Sanskrit and studs haying then it is not a English. sent2: there exists something such that if it neglects Sanskrit and it studs haying it is not English. sent3: if the fanion does neglect Sanskrit and studs haying then that it is not a English is not false. ; $proof$ = 
sent1 -> hypothesis; __PROVED__