there exists something such that if it swelters bridal the fact that it does not gutter internet and it is a closet is false.
sent1: something is not divisible but it is allergic if it tastes greyhound. sent2: if something is a Mead then that that it does not gutter internet and is a kind of a closet hold is not right. sent3: the duster does gutter Tetragrammaton. sent4: that the duster is both not unacceptable and a closet is false if the fact that it trusses retake is not wrong. sent5: the duster is a Mead if that it swelters bridal hold.
void -> assump1: Let's assume that the duster swelters bridal.; sent5 & assump1 -> int1: the duster is a Mead.; sent2 -> int2: if the duster is a Mead the fact that that it does not gutter internet and it is a closet hold is false.; int1 & int2 -> int3: the fact that the duster does not gutter internet and is a closet is false.; [assump1] & int3 -> int4: that the duster does not gutter internet and closets is incorrect if it swelters bridal.; int4 -> hypothesis;
$hypothesis$ = there exists something such that if it swelters bridal the fact that it does not gutter internet and it is a closet is false. ; $context$ = sent1: something is not divisible but it is allergic if it tastes greyhound. sent2: if something is a Mead then that that it does not gutter internet and is a kind of a closet hold is not right. sent3: the duster does gutter Tetragrammaton. sent4: that the duster is both not unacceptable and a closet is false if the fact that it trusses retake is not wrong. sent5: the duster is a Mead if that it swelters bridal hold. ; $proof$ = 
void -> assump1: Let's assume that the duster swelters bridal.; sent5 & assump1 -> int1: the duster is a Mead.; sent2 -> int2: if the duster is a Mead the fact that that it does not gutter internet and it is a closet hold is false.; int1 & int2 -> int3: the fact that the duster does not gutter internet and is a closet is false.; [assump1] & int3 -> int4: that the duster does not gutter internet and closets is incorrect if it swelters bridal.; int4 -> hypothesis; __PROVED__