that the leech stigmatizes Bradbury but it is not a Pepto-bismal does not hold.
sent1: the punter is communal and/or it is mesolithic. sent2: the fact that the tannoy disposes but it does not permit glowworm is false. sent3: something is Hemingwayesque if the fact that it is a kind of a parang is not incorrect. sent4: if there exists something such that it either is not communal or is mesolithic or both the usurer is not communal. sent5: that that the tannoy does not dispose and it does not permit glowworm does not hold if the leech is Hemingwayesque is correct. sent6: that the punter is mesolithic is true. sent7: that the tannoy does not dispose but it permits glowworm does not hold. sent8: if something is a parang that it is communal hold. sent9: the usurer is a parang if the fact that the tannoy does not dispose and does not permit glowworm does not hold. sent10: the fact that something stigmatizes Bradbury but it is not a Pepto-bismal is not correct if it is not Hemingwayesque.
void -> assump1: Let's assume that that the leech is Hemingwayesque is not incorrect.; sent5 & assump1 -> int1: that the tannoy does not dispose and does not permit glowworm is not correct.; int1 & sent9 -> int2: that the usurer is a parang is right.; sent8 -> int3: the usurer is communal if it is a parang.; int2 & int3 -> int4: the usurer is communal.; sent6 -> int5: the punter is not communal and/or it is mesolithic.; int5 -> int6: there is something such that it is not communal and/or it is mesolithic.; int6 & sent4 -> int7: the usurer is not communal.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the leech is Hemingwayesque is not correct.; sent10 -> int10: that the leech does stigmatize Bradbury and is not a kind of a Pepto-bismal is not right if it is not Hemingwayesque.; int9 & int10 -> hypothesis;
the leech stigmatizes Bradbury and is not a Pepto-bismal.
sent3 -> int11: if the tannoy is a parang it is Hemingwayesque.;
$hypothesis$ = that the leech stigmatizes Bradbury but it is not a Pepto-bismal does not hold. ; $context$ = sent1: the punter is communal and/or it is mesolithic. sent2: the fact that the tannoy disposes but it does not permit glowworm is false. sent3: something is Hemingwayesque if the fact that it is a kind of a parang is not incorrect. sent4: if there exists something such that it either is not communal or is mesolithic or both the usurer is not communal. sent5: that that the tannoy does not dispose and it does not permit glowworm does not hold if the leech is Hemingwayesque is correct. sent6: that the punter is mesolithic is true. sent7: that the tannoy does not dispose but it permits glowworm does not hold. sent8: if something is a parang that it is communal hold. sent9: the usurer is a parang if the fact that the tannoy does not dispose and does not permit glowworm does not hold. sent10: the fact that something stigmatizes Bradbury but it is not a Pepto-bismal is not correct if it is not Hemingwayesque. ; $proof$ = 
void -> assump1: Let's assume that that the leech is Hemingwayesque is not incorrect.; sent5 & assump1 -> int1: that the tannoy does not dispose and does not permit glowworm is not correct.; int1 & sent9 -> int2: that the usurer is a parang is right.; sent8 -> int3: the usurer is communal if it is a parang.; int2 & int3 -> int4: the usurer is communal.; sent6 -> int5: the punter is not communal and/or it is mesolithic.; int5 -> int6: there is something such that it is not communal and/or it is mesolithic.; int6 & sent4 -> int7: the usurer is not communal.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the leech is Hemingwayesque is not correct.; sent10 -> int10: that the leech does stigmatize Bradbury and is not a kind of a Pepto-bismal is not right if it is not Hemingwayesque.; int9 & int10 -> hypothesis; __PROVED__