the fact that the doorlock decides but it is not glottal does not hold.
sent1: something is both not non-copular and non-glottal if it is a thunderer. sent2: the mask is a rouleau but it is not an embarrassment if that it is a software is true. sent3: if something is a kind of a thunderer it does decide and is not glottal. sent4: the doorlock is sober. sent5: the doorlock is copular and it is a thunderer. sent6: if the doorlock does bar the fact that it is a listed is not wrong. sent7: the doorlock is a stifle but not arenicolous if it is glottal. sent8: something is copular if it is glottal. sent9: the fact that the microevolution is diachronic and it decides hold. sent10: the clubhouse is copular but not a Trionychidae. sent11: the doorlock is a megaphone and is not calciferous if it is a kind of a gross. sent12: the workwear is copular.
sent3 -> int1: if the doorlock is a kind of a thunderer it decides and it is not glottal.; sent5 -> int2: the doorlock is a thunderer.; int1 & int2 -> hypothesis;
$hypothesis$ = the fact that the doorlock decides but it is not glottal does not hold. ; $context$ = sent1: something is both not non-copular and non-glottal if it is a thunderer. sent2: the mask is a rouleau but it is not an embarrassment if that it is a software is true. sent3: if something is a kind of a thunderer it does decide and is not glottal. sent4: the doorlock is sober. sent5: the doorlock is copular and it is a thunderer. sent6: if the doorlock does bar the fact that it is a listed is not wrong. sent7: the doorlock is a stifle but not arenicolous if it is glottal. sent8: something is copular if it is glottal. sent9: the fact that the microevolution is diachronic and it decides hold. sent10: the clubhouse is copular but not a Trionychidae. sent11: the doorlock is a megaphone and is not calciferous if it is a kind of a gross. sent12: the workwear is copular. ; $proof$ = 
sent3 -> int1: if the doorlock is a kind of a thunderer it decides and it is not glottal.; sent5 -> int2: the doorlock is a thunderer.; int1 & int2 -> hypothesis; __DISPROVED__