the fact that there is something such that if it does not geyser crownbeard and is not injectable it heaves is not right.
sent1: there is something such that if it does geyser crownbeard and it is not injectable it is a kind of a heaves. sent2: if something does not geyser crownbeard and is not injectable then that it is a heaves hold. sent3: if something that does not flicker Gielgud is not a kind of a waw then the fact that it is flatness is correct. sent4: there is something such that if it is both not an occasion and not a biggin it does geyser vesicle. sent5: if something does geyser crownbeard but it is not injectable it is a kind of a heaves. sent6: the crownbeard does heave if it does geyser crownbeard and is not injectable. sent7: there exists something such that if it does not geyser crownbeard and it is injectable then it heaves. sent8: if something does not geyser crownbeard and is injectable then it is a heaves. sent9: the felloe is uncritical if it is not a kind of a whiting and is not a surfacing. sent10: the crownbeard heaves if it does not geyser crownbeard and it is injectable. sent11: something is excrescent if it does not geyser bronco and is not a kind of a pothook.
sent2 -> int1: if the crownbeard does not geyser crownbeard and is not injectable then it heaves.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not geyser crownbeard and is not injectable it heaves is not right. ; $context$ = sent1: there is something such that if it does geyser crownbeard and it is not injectable it is a kind of a heaves. sent2: if something does not geyser crownbeard and is not injectable then that it is a heaves hold. sent3: if something that does not flicker Gielgud is not a kind of a waw then the fact that it is flatness is correct. sent4: there is something such that if it is both not an occasion and not a biggin it does geyser vesicle. sent5: if something does geyser crownbeard but it is not injectable it is a kind of a heaves. sent6: the crownbeard does heave if it does geyser crownbeard and is not injectable. sent7: there exists something such that if it does not geyser crownbeard and it is injectable then it heaves. sent8: if something does not geyser crownbeard and is injectable then it is a heaves. sent9: the felloe is uncritical if it is not a kind of a whiting and is not a surfacing. sent10: the crownbeard heaves if it does not geyser crownbeard and it is injectable. sent11: something is excrescent if it does not geyser bronco and is not a kind of a pothook. ; $proof$ = 
sent2 -> int1: if the crownbeard does not geyser crownbeard and is not injectable then it heaves.; int1 -> hypothesis; __DISPROVED__