if the mildew excretes mongoose then the wurtzite does repress Berzelius.
sent1: the wurtzite is not a hypertonicity. sent2: the fact that something does sunburn and it excretes examiner hold if it is not Mormon. sent3: the fact that something is an import but it is not solar does not hold if it is not a hypertonicity. sent4: the fact that the mildew is Mormon and it is a Lysichiton does not hold if the wurtzite is not a kind of an import. sent5: if the mildew does excrete mongoose then the fact that the wurtzite is parhelic hold. sent6: the mildew represses Berzelius if the wurtzite does excrete mongoose. sent7: if that something does not repress Berzelius but it is wheaten does not hold then it excretes mongoose. sent8: that the sheepwalk is not a Mormon is not false if the fact that the mildew is Mormon and it is a Lysichiton does not hold. sent9: if that the wurtzite is an import but it is not solar does not hold then it is not a kind of an import. sent10: something does repress Berzelius if it is parhelic. sent11: that something does not repress Berzelius but it is wheaten is not right if it does excrete examiner. sent12: something is parhelic if it does excrete mongoose.
void -> assump1: Let's assume that the mildew excretes mongoose.; sent5 & assump1 -> int1: that the wurtzite is parhelic hold.; sent10 -> int2: if the wurtzite is parhelic then it represses Berzelius.; int1 & int2 -> int3: the wurtzite does repress Berzelius.; [assump1] & int3 -> hypothesis;
the sheepwalk is parhelic.
sent12 -> int4: that the sheepwalk is parhelic is not incorrect if that it does excrete mongoose hold.; sent7 -> int5: if the fact that the sheepwalk does not repress Berzelius and is wheaten is not true it does excrete mongoose.; sent11 -> int6: that the sheepwalk does not repress Berzelius and is wheaten does not hold if that it excretes examiner hold.; sent2 -> int7: if the sheepwalk is not a kind of a Mormon it is a sunburn and it does excrete examiner.; sent3 -> int8: if the wurtzite is not a hypertonicity the fact that it does import and it is not solar is false.; int8 & sent1 -> int9: the fact that the wurtzite is both an import and not solar does not hold.; sent9 & int9 -> int10: the wurtzite is not an import.; sent4 & int10 -> int11: the fact that the fact that the mildew is a Mormon and is a Lysichiton is not incorrect is incorrect.; sent8 & int11 -> int12: the sheepwalk is not a kind of a Mormon.; int7 & int12 -> int13: the sheepwalk is a kind of a sunburn and does excrete examiner.; int13 -> int14: the sheepwalk excretes examiner.; int6 & int14 -> int15: that the fact that the sheepwalk does not repress Berzelius and is wheaten is not incorrect is wrong.; int5 & int15 -> int16: the sheepwalk does excrete mongoose.; int4 & int16 -> hypothesis;
$hypothesis$ = if the mildew excretes mongoose then the wurtzite does repress Berzelius. ; $context$ = sent1: the wurtzite is not a hypertonicity. sent2: the fact that something does sunburn and it excretes examiner hold if it is not Mormon. sent3: the fact that something is an import but it is not solar does not hold if it is not a hypertonicity. sent4: the fact that the mildew is Mormon and it is a Lysichiton does not hold if the wurtzite is not a kind of an import. sent5: if the mildew does excrete mongoose then the fact that the wurtzite is parhelic hold. sent6: the mildew represses Berzelius if the wurtzite does excrete mongoose. sent7: if that something does not repress Berzelius but it is wheaten does not hold then it excretes mongoose. sent8: that the sheepwalk is not a Mormon is not false if the fact that the mildew is Mormon and it is a Lysichiton does not hold. sent9: if that the wurtzite is an import but it is not solar does not hold then it is not a kind of an import. sent10: something does repress Berzelius if it is parhelic. sent11: that something does not repress Berzelius but it is wheaten is not right if it does excrete examiner. sent12: something is parhelic if it does excrete mongoose. ; $proof$ = 
void -> assump1: Let's assume that the mildew excretes mongoose.; sent5 & assump1 -> int1: that the wurtzite is parhelic hold.; sent10 -> int2: if the wurtzite is parhelic then it represses Berzelius.; int1 & int2 -> int3: the wurtzite does repress Berzelius.; [assump1] & int3 -> hypothesis; __PROVED__