there is something such that if it is not a soundboard it is not a separability.
sent1: there exists something such that if it is a soundboard then the fact that it is not a separability is right. sent2: if something is not a soundboard it is not a kind of a separability. sent3: there exists something such that if that it does talc Pinter is right then it is not dichromatic. sent4: the fact that the cheatgrass is not a separability is not wrong if it is a kind of a soundboard. sent5: if the cheatgrass is not a soundboard the fact that it is a separability is true. sent6: there is something such that if it is not a soundboard then it is a separability.
sent2 -> int1: the cheatgrass is not a separability if it is not a soundboard.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a soundboard it is not a separability. ; $context$ = sent1: there exists something such that if it is a soundboard then the fact that it is not a separability is right. sent2: if something is not a soundboard it is not a kind of a separability. sent3: there exists something such that if that it does talc Pinter is right then it is not dichromatic. sent4: the fact that the cheatgrass is not a separability is not wrong if it is a kind of a soundboard. sent5: if the cheatgrass is not a soundboard the fact that it is a separability is true. sent6: there is something such that if it is not a soundboard then it is a separability. ; $proof$ = 
sent2 -> int1: the cheatgrass is not a separability if it is not a soundboard.; int1 -> hypothesis; __PROVED__