that there exists something such that if it does not scoff gawkiness then it does not exalt Bombyliidae is incorrect.
sent1: if something does not scoff gawkiness it does exalt Bombyliidae. sent2: if something does not scoff raving it is a valuable. sent3: if something does not scoff gawkiness it does not exalt Bombyliidae. sent4: that the thysanopter exalts Bombyliidae is right if it does not scoff gawkiness. sent5: something does not scoff gawkiness if it is not a chipmunk.
sent3 -> int1: if the fact that the thysanopter does not scoff gawkiness is right then it does not exalt Bombyliidae.; int1 -> hypothesis;
the thysanopter does not scoff gawkiness if it is not a chipmunk.
sent5 -> hypothesis;
$hypothesis$ = that there exists something such that if it does not scoff gawkiness then it does not exalt Bombyliidae is incorrect. ; $context$ = sent1: if something does not scoff gawkiness it does exalt Bombyliidae. sent2: if something does not scoff raving it is a valuable. sent3: if something does not scoff gawkiness it does not exalt Bombyliidae. sent4: that the thysanopter exalts Bombyliidae is right if it does not scoff gawkiness. sent5: something does not scoff gawkiness if it is not a chipmunk. ; $proof$ = 
sent3 -> int1: if the fact that the thysanopter does not scoff gawkiness is right then it does not exalt Bombyliidae.; int1 -> hypothesis; __DISPROVED__