the sandbag is a mortgagee and it is a centerboard.
sent1: there is something such that the fact that it is not achlorhydric and is nidicolous is false. sent2: that something is a Pepsi is not false. sent3: if something is a kind of a Pepsi the acetaldehyde is a kind of non-concentric thing that does flatten. sent4: the grenade does not stigmatize acetaldehyde if there is something such that that it is not achlorhydric and it is nidicolous does not hold. sent5: the sandbag is a pothook if the acetaldehyde is not concentric. sent6: there exists something such that it does not stigmatize Astaire and it is a centerboard. sent7: the mezereon gnarls. sent8: the sandbag is a mortgagee if there is something such that the fact that it stigmatizes acetaldehyde or does not stigmatize Astaire or both does not hold. sent9: the sandbag is a pothook that is a centerboard if the fact that the acetaldehyde is not concentric is right. sent10: there is something such that it does not stigmatize acetaldehyde and/or does not stigmatize Astaire. sent11: if there exists something such that that it does not stigmatize acetaldehyde and/or it does not stigmatize Astaire is false the fact that the sandbag is a kind of a mortgagee is correct. sent12: if there exists something such that the fact that it is not nidicolous is not wrong then the grenade does not stigmatize acetaldehyde. sent13: that that either the mezereon does not stigmatize acetaldehyde or it does not stigmatize Astaire or both is not right hold if that the grenade does not stigmatize acetaldehyde is not false. sent14: there exists something such that the fact that it does not stigmatize acetaldehyde or it does stigmatize Astaire or both does not hold.
sent1 & sent4 -> int1: the grenade does not stigmatize acetaldehyde.; int1 & sent13 -> int2: that the mezereon does not stigmatize acetaldehyde and/or it does not stigmatize Astaire is wrong.; int2 -> int3: there is something such that that the fact that it does not stigmatize acetaldehyde or does not stigmatize Astaire or both is true is not true.; int3 & sent11 -> int4: the sandbag is a mortgagee.; sent2 & sent3 -> int5: the acetaldehyde is non-concentric thing that does flatten.; int5 -> int6: the acetaldehyde is not concentric.; sent9 & int6 -> int7: the sandbag is a pothook and it is a kind of a centerboard.; int7 -> int8: the sandbag is a centerboard.; int4 & int8 -> hypothesis;
$hypothesis$ = the sandbag is a mortgagee and it is a centerboard. ; $context$ = sent1: there is something such that the fact that it is not achlorhydric and is nidicolous is false. sent2: that something is a Pepsi is not false. sent3: if something is a kind of a Pepsi the acetaldehyde is a kind of non-concentric thing that does flatten. sent4: the grenade does not stigmatize acetaldehyde if there is something such that that it is not achlorhydric and it is nidicolous does not hold. sent5: the sandbag is a pothook if the acetaldehyde is not concentric. sent6: there exists something such that it does not stigmatize Astaire and it is a centerboard. sent7: the mezereon gnarls. sent8: the sandbag is a mortgagee if there is something such that the fact that it stigmatizes acetaldehyde or does not stigmatize Astaire or both does not hold. sent9: the sandbag is a pothook that is a centerboard if the fact that the acetaldehyde is not concentric is right. sent10: there is something such that it does not stigmatize acetaldehyde and/or does not stigmatize Astaire. sent11: if there exists something such that that it does not stigmatize acetaldehyde and/or it does not stigmatize Astaire is false the fact that the sandbag is a kind of a mortgagee is correct. sent12: if there exists something such that the fact that it is not nidicolous is not wrong then the grenade does not stigmatize acetaldehyde. sent13: that that either the mezereon does not stigmatize acetaldehyde or it does not stigmatize Astaire or both is not right hold if that the grenade does not stigmatize acetaldehyde is not false. sent14: there exists something such that the fact that it does not stigmatize acetaldehyde or it does stigmatize Astaire or both does not hold. ; $proof$ = 
sent1 & sent4 -> int1: the grenade does not stigmatize acetaldehyde.; int1 & sent13 -> int2: that the mezereon does not stigmatize acetaldehyde and/or it does not stigmatize Astaire is wrong.; int2 -> int3: there is something such that that the fact that it does not stigmatize acetaldehyde or does not stigmatize Astaire or both is true is not true.; int3 & sent11 -> int4: the sandbag is a mortgagee.; sent2 & sent3 -> int5: the acetaldehyde is non-concentric thing that does flatten.; int5 -> int6: the acetaldehyde is not concentric.; sent9 & int6 -> int7: the sandbag is a pothook and it is a kind of a centerboard.; int7 -> int8: the sandbag is a centerboard.; int4 & int8 -> hypothesis; __PROVED__