that there exists something such that if the fact that it is not chemiluminescent and it is not an insanity does not hold then it does not clog does not hold.
sent1: there is something such that if it is both not tegular and not a railhead then it is not an endowment. sent2: if the fact that something is both not chemiluminescent and not an insanity is incorrect it does not clog. sent3: if the fact that the hyoscyamine does not smooch and it does not mingle does not hold it is Minoan. sent4: that there exists something such that if it is unopposable then it is not a metropolitan hold.
sent2 -> int1: the hyoscyamine does not clog if that it is non-chemiluminescent thing that is not an insanity is not true.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is not chemiluminescent and it is not an insanity does not hold then it does not clog does not hold. ; $context$ = sent1: there is something such that if it is both not tegular and not a railhead then it is not an endowment. sent2: if the fact that something is both not chemiluminescent and not an insanity is incorrect it does not clog. sent3: if the fact that the hyoscyamine does not smooch and it does not mingle does not hold it is Minoan. sent4: that there exists something such that if it is unopposable then it is not a metropolitan hold. ; $proof$ = 
sent2 -> int1: the hyoscyamine does not clog if that it is non-chemiluminescent thing that is not an insanity is not true.; int1 -> hypothesis; __DISPROVED__