there is something such that if the fact that it either does not maintain Titanosaurus or is not glad or both is wrong then it does tighten aerogram.
sent1: something does tighten aerogram if that it does not maintain Titanosaurus or is not glad or both is false. sent2: something is exaugural if the fact that it does not step and/or does not benefice is not correct.
sent1 -> int1: the collier does tighten aerogram if that it does not maintain Titanosaurus or it is not glad or both does not hold.; int1 -> hypothesis;
there is something such that if the fact that either it is not a step or it does not benefice or both is not right it is exaugural.
sent2 -> int2: the proctoscope is exaugural if that it is not a step and/or it does not benefice is not true.; int2 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it either does not maintain Titanosaurus or is not glad or both is wrong then it does tighten aerogram. ; $context$ = sent1: something does tighten aerogram if that it does not maintain Titanosaurus or is not glad or both is false. sent2: something is exaugural if the fact that it does not step and/or does not benefice is not correct. ; $proof$ = 
sent1 -> int1: the collier does tighten aerogram if that it does not maintain Titanosaurus or it is not glad or both does not hold.; int1 -> hypothesis; __PROVED__