the fact that the well demises is right.
sent1: if the fact that something is a kind of nonpregnant thing that crystallizes Kanara is not true it is nonpregnant. sent2: the Spartan is a kind of non-nonpregnant thing that crystallizes Kanara if the Lao is not congregational. sent3: the fact that either the tofu does not crystallize VI or it shatters Browning or both does not hold. sent4: something that is not nonpregnant does shatter Browning and is congregational. sent5: if there exists something such that it is a kind of non-nonpregnant thing that crystallizes Kanara the well is visible. sent6: the well is a kind of a algin if the extensor is both not a algin and a gerenuk. sent7: the fact that the Spartan is not a 401-k but it is hexadecimal is not true if the well is a kind of a algin. sent8: if the Spartan is not a kind of a tickle the fact that the Lao is non-cyclonic but it does demise is right. sent9: there exists something such that it is a paramilitary. sent10: the tofu is a kind of visible thing that does not shatter Browning. sent11: something is hexadecimal thing that is not a kind of a tickle. sent12: the Lao is not visible. sent13: if there are paramilitary things then the extensor is both not a algin and a gerenuk. sent14: the fact that the malacopterygian is nonpregnant and it does crystallize Kanara is wrong if the Lao is not visible. sent15: something does crystallize Kanara if it is cyclonic and is not visible. sent16: if there is something such that that it does not crystallize VI and/or it does shatter Browning is not correct then the Lao is not congregational. sent17: the fact that something is visible and does not demise does not hold if that it is cyclonic is not correct. sent18: that the well is not cyclonic is correct if something that is hexadecimal does not tickle. sent19: if that something is not a 401-k but it is hexadecimal does not hold then it does not tickle.
sent3 -> int1: there exists something such that the fact that it does not crystallize VI and/or it shatters Browning is not right.; int1 & sent16 -> int2: the fact that the Lao is congregational does not hold.; int2 & sent2 -> int3: the Spartan is not nonpregnant but it crystallizes Kanara.; int3 -> int4: something is not nonpregnant but it does crystallize Kanara.; int4 & sent5 -> int5: that the well is visible is true.; void -> assump1: Let's assume that the well does not demise.; int5 & assump1 -> int6: the well is visible but it does not demise.; sent17 -> int7: that the well is visible but it does not demise does not hold if it is not cyclonic.; sent11 & sent18 -> int8: that the well is not cyclonic is not incorrect.; int7 & int8 -> int9: that the well is visible and does not demise does not hold.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the malacopterygian shatters Browning.
sent4 -> int11: the malacopterygian does shatter Browning and it is congregational if it is not nonpregnant.; sent1 -> int12: if that the malacopterygian is nonpregnant thing that crystallizes Kanara is wrong it is not nonpregnant.; sent19 -> int13: the Spartan is not a kind of a tickle if the fact that it is not a kind of a 401-k and it is hexadecimal is not right.; sent9 & sent13 -> int14: the extensor is not a algin but it is a gerenuk.; sent6 & int14 -> int15: the well is a algin.; sent7 & int15 -> int16: the fact that the Spartan is not a 401-k but hexadecimal is incorrect.; int13 & int16 -> int17: the Spartan is not a tickle.; sent8 & int17 -> int18: the Lao is a kind of non-cyclonic thing that demises.;
$hypothesis$ = the fact that the well demises is right. ; $context$ = sent1: if the fact that something is a kind of nonpregnant thing that crystallizes Kanara is not true it is nonpregnant. sent2: the Spartan is a kind of non-nonpregnant thing that crystallizes Kanara if the Lao is not congregational. sent3: the fact that either the tofu does not crystallize VI or it shatters Browning or both does not hold. sent4: something that is not nonpregnant does shatter Browning and is congregational. sent5: if there exists something such that it is a kind of non-nonpregnant thing that crystallizes Kanara the well is visible. sent6: the well is a kind of a algin if the extensor is both not a algin and a gerenuk. sent7: the fact that the Spartan is not a 401-k but it is hexadecimal is not true if the well is a kind of a algin. sent8: if the Spartan is not a kind of a tickle the fact that the Lao is non-cyclonic but it does demise is right. sent9: there exists something such that it is a paramilitary. sent10: the tofu is a kind of visible thing that does not shatter Browning. sent11: something is hexadecimal thing that is not a kind of a tickle. sent12: the Lao is not visible. sent13: if there are paramilitary things then the extensor is both not a algin and a gerenuk. sent14: the fact that the malacopterygian is nonpregnant and it does crystallize Kanara is wrong if the Lao is not visible. sent15: something does crystallize Kanara if it is cyclonic and is not visible. sent16: if there is something such that that it does not crystallize VI and/or it does shatter Browning is not correct then the Lao is not congregational. sent17: the fact that something is visible and does not demise does not hold if that it is cyclonic is not correct. sent18: that the well is not cyclonic is correct if something that is hexadecimal does not tickle. sent19: if that something is not a 401-k but it is hexadecimal does not hold then it does not tickle. ; $proof$ = 
sent3 -> int1: there exists something such that the fact that it does not crystallize VI and/or it shatters Browning is not right.; int1 & sent16 -> int2: the fact that the Lao is congregational does not hold.; int2 & sent2 -> int3: the Spartan is not nonpregnant but it crystallizes Kanara.; int3 -> int4: something is not nonpregnant but it does crystallize Kanara.; int4 & sent5 -> int5: that the well is visible is true.; void -> assump1: Let's assume that the well does not demise.; int5 & assump1 -> int6: the well is visible but it does not demise.; sent17 -> int7: that the well is visible but it does not demise does not hold if it is not cyclonic.; sent11 & sent18 -> int8: that the well is not cyclonic is not incorrect.; int7 & int8 -> int9: that the well is visible and does not demise does not hold.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__