the fact that there is something such that if the fact that it is not a blowgun is incorrect then it does not wave vindication does not hold.
sent1: something that does overtake is not extinct. sent2: something does not wave vindication if it is a blowgun. sent3: something does wave vindication if it is a blowgun. sent4: if the chromium does wave vindication then it does not accelerate par. sent5: the fact that something is not a Lena is correct if that it trolls Bahrain is not false.
sent2 -> int1: the filature does not wave vindication if it is a blowgun.; int1 -> hypothesis;
there exists something such that if it does overtake it is not extinct.
sent1 -> int2: the fart is not extinct if it does overtake.; int2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is not a blowgun is incorrect then it does not wave vindication does not hold. ; $context$ = sent1: something that does overtake is not extinct. sent2: something does not wave vindication if it is a blowgun. sent3: something does wave vindication if it is a blowgun. sent4: if the chromium does wave vindication then it does not accelerate par. sent5: the fact that something is not a Lena is correct if that it trolls Bahrain is not false. ; $proof$ = 
sent2 -> int1: the filature does not wave vindication if it is a blowgun.; int1 -> hypothesis; __DISPROVED__