that the salt does modify but it does not mush corselet does not hold.
sent1: the saprolite is incorporeal and it is not a skivvy if something is not institutional. sent2: if the endocardium is corporeal the mug is corporeal. sent3: the salt does not mush corselet if the fudge is not institutional. sent4: if that the fudge does not mush bronze and is not a wallow is incorrect then the zither mushes corselet. sent5: if the mug is a kind of a skivvy then it is a kind of a wallow. sent6: something is not institutional if the fact that it is institutional and it is a wallow does not hold. sent7: if something that does not wallow is not a quick it is not institutional. sent8: the fudge is not a quick. sent9: if that the fudge does not mush corselet is not incorrect then that the salt does modify but it does not mush corselet does not hold. sent10: The bronze does not mush zither. sent11: if the mug is not incorporeal the salt does modify but it is not a skivvy. sent12: that the fudge does not modify and does not mush corselet is not correct if the salt does not mush corselet. sent13: if that the mug is not a quick and it is not a skivvy is wrong then the fudge is corporeal. sent14: the fudge is a skivvy. sent15: that the salt is a kind of a quick and is shrinkable is wrong. sent16: the zither does not mush bronze. sent17: something is institutional if it is a skivvy. sent18: the fact that the zither does not mush corselet and it is not a wallow is false. sent19: if the fudge is corporeal then it does not mush corselet. sent20: the endocardium is corporeal and it does liquefy metallurgist. sent21: that the mug is not a kind of a quick and it is not a skivvy is wrong if the zither is not a skivvy. sent22: if something is a kind of a agamete or does not mush bronze or both then it does not mush bronze. sent23: something is a kind of a agamete or it does not mush bronze or both if the fact that it is illegible is true. sent24: if there is something such that the fact that it is institutional and it is a kind of a quick does not hold then the mug is not institutional. sent25: if the mug does not mush corselet that the salt is not a kind of a skivvy but it mush corselet is wrong. sent26: that something is not noninstitutional and is a kind of a quick is false if it does not mush corselet. sent27: if the fact that the zither does not mush bronze hold then that it is institutional and it is a wallow is false. sent28: if the fact that the babu does not mush bronze is not false the fudge is both not a wallow and not a quick.
sent17 -> int1: the zither is not noninstitutional if it is a skivvy.; void -> assump1: Let's assume that the zither is a kind of a skivvy.; int1 & assump1 -> int2: the zither is institutional.; sent6 -> int3: the zither is not institutional if that it is institutional and does wallow is wrong.; sent27 & sent16 -> int4: the fact that the zither is institutional and it does wallow is not true.; int3 & int4 -> int5: the zither is noninstitutional.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the zither is not a skivvy.; int7 & sent21 -> int8: the fact that the mug is not a quick and is not a kind of a skivvy is wrong.; int8 & sent13 -> int9: that the fudge is corporeal is not false.; int9 & sent19 -> int10: the fudge does not mush corselet.; int10 & sent9 -> hypothesis;
the fact that the salt does modify and does not mush corselet is not incorrect.
sent20 -> int11: the endocardium is corporeal.; sent2 & int11 -> int12: the mug is corporeal.; sent11 & int12 -> int13: the salt does modify and is not a kind of a skivvy.; int13 -> int14: the salt does modify.; sent7 -> int15: the fudge is not institutional if it is both not a wallow and not a quick.; sent22 -> int16: if either the babu is a agamete or it does not mush bronze or both then it does not mush bronze.; sent23 -> int17: if the babu is illegible it is a kind of a agamete and/or it does not mush bronze.;
$hypothesis$ = that the salt does modify but it does not mush corselet does not hold. ; $context$ = sent1: the saprolite is incorporeal and it is not a skivvy if something is not institutional. sent2: if the endocardium is corporeal the mug is corporeal. sent3: the salt does not mush corselet if the fudge is not institutional. sent4: if that the fudge does not mush bronze and is not a wallow is incorrect then the zither mushes corselet. sent5: if the mug is a kind of a skivvy then it is a kind of a wallow. sent6: something is not institutional if the fact that it is institutional and it is a wallow does not hold. sent7: if something that does not wallow is not a quick it is not institutional. sent8: the fudge is not a quick. sent9: if that the fudge does not mush corselet is not incorrect then that the salt does modify but it does not mush corselet does not hold. sent10: The bronze does not mush zither. sent11: if the mug is not incorporeal the salt does modify but it is not a skivvy. sent12: that the fudge does not modify and does not mush corselet is not correct if the salt does not mush corselet. sent13: if that the mug is not a quick and it is not a skivvy is wrong then the fudge is corporeal. sent14: the fudge is a skivvy. sent15: that the salt is a kind of a quick and is shrinkable is wrong. sent16: the zither does not mush bronze. sent17: something is institutional if it is a skivvy. sent18: the fact that the zither does not mush corselet and it is not a wallow is false. sent19: if the fudge is corporeal then it does not mush corselet. sent20: the endocardium is corporeal and it does liquefy metallurgist. sent21: that the mug is not a kind of a quick and it is not a skivvy is wrong if the zither is not a skivvy. sent22: if something is a kind of a agamete or does not mush bronze or both then it does not mush bronze. sent23: something is a kind of a agamete or it does not mush bronze or both if the fact that it is illegible is true. sent24: if there is something such that the fact that it is institutional and it is a kind of a quick does not hold then the mug is not institutional. sent25: if the mug does not mush corselet that the salt is not a kind of a skivvy but it mush corselet is wrong. sent26: that something is not noninstitutional and is a kind of a quick is false if it does not mush corselet. sent27: if the fact that the zither does not mush bronze hold then that it is institutional and it is a wallow is false. sent28: if the fact that the babu does not mush bronze is not false the fudge is both not a wallow and not a quick. ; $proof$ = 
sent17 -> int1: the zither is not noninstitutional if it is a skivvy.; void -> assump1: Let's assume that the zither is a kind of a skivvy.; int1 & assump1 -> int2: the zither is institutional.; sent6 -> int3: the zither is not institutional if that it is institutional and does wallow is wrong.; sent27 & sent16 -> int4: the fact that the zither is institutional and it does wallow is not true.; int3 & int4 -> int5: the zither is noninstitutional.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the zither is not a skivvy.; int7 & sent21 -> int8: the fact that the mug is not a quick and is not a kind of a skivvy is wrong.; int8 & sent13 -> int9: that the fudge is corporeal is not false.; int9 & sent19 -> int10: the fudge does not mush corselet.; int10 & sent9 -> hypothesis; __PROVED__