the fact that both the gesticulating Bellingham and the paleolithicness happens is not right.
sent1: if the fact that both the prawning and the indistinguishableness happens is wrong then that the gesticulating microsome does not occur hold. sent2: the intercourse occurs if the aerobicness occurs. sent3: the fact that the gesticulating microsome happens but the gesticulating tragacanth does not occur is incorrect if the TLC occurs. sent4: the gesticulating tragacanth does not occur if the flopping does not occur. sent5: the fact that both the watering and the greenhouseness happens is false if the beckoning cere does not occur. sent6: if that the contemplating does not occur hold then the fact that the prawn occurs and the indistinguishableness occurs is not right. sent7: the stoking occurs. sent8: that the frozenness and the discourteousness happens is brought about by that the Bantuness occurs. sent9: the fact that the gesticulating V-day happens but the melee does not occur does not hold if the denying probity does not occur. sent10: that both the gesticulating Bellingham and the paleolithicness occurs is false if the beckoning maidenhair does not occur. sent11: that either the indistinguishableness does not occur or the courteousness happens or both is not right. sent12: the fact that the giveaway occurs is not right if the fact that the anterogradeness and the gesticulating Lhasa happens does not hold. sent13: that the gesticulating miss happens is not wrong. sent14: if the lastingness does not occur the fact that the lessness does not occur and the upright does not occur is not correct. sent15: if that that the lessness does not occur and the uprightness does not occur is not right is not false then the fact that the gesticulating Samoan does not occur hold. sent16: if the workshop happens the lasting does not occur. sent17: that the gesticulating microsome does not occur results in that both the TLC and the paleolithicness happens. sent18: the by-product prevents that the TLC does not occur. sent19: the flop does not occur and the unfrozenness does not occur. sent20: the contemplating does not occur if the fact that the gesticulating V-day but not the melee occurs is false. sent21: not the vocationalness but the gesticulating customs occurs. sent22: the facility and the Bantu happens if the giveaway does not occur. sent23: that both the anterogradeness and the gesticulating Lhasa occurs is not correct if the gesticulating Samoan does not occur. sent24: the gesticulating microsome occurs if the fact that either the distinguishableness or the courteousness or both occurs does not hold. sent25: the beckoning maidenhair prevents that the by-product does not occur. sent26: if the vocationalness does not occur then both the sweeping and the workshop occurs. sent27: the gesticulating Bellingham occurs if the beckoning maidenhair does not occur and the by-product happens.
void -> assump1: Let's assume that the beckoning maidenhair happens.; sent25 & assump1 -> int1: that the by-product happens hold.; int1 & sent18 -> int2: the TLC occurs.; int2 & sent3 -> int3: the fact that the gesticulating microsome but not the gesticulating tragacanth occurs is wrong.; sent24 & sent11 -> int4: the gesticulating microsome happens.; sent19 -> int5: the flopping does not occur.; sent4 & int5 -> int6: the fact that the gesticulating tragacanth does not occur is not incorrect.; int4 & int6 -> int7: the gesticulating microsome but not the gesticulating tragacanth happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the beckoning maidenhair does not occur is true.; int9 & sent10 -> hypothesis;
the gesticulating Bellingham occurs and the paleolithicness happens.
sent21 -> int10: the vocationalness does not occur.; sent26 & int10 -> int11: both the sweeping and the workshop happens.; int11 -> int12: the workshop occurs.; sent16 & int12 -> int13: the lasting does not occur.; sent14 & int13 -> int14: that the non-lessness and the non-uprightness happens does not hold.; sent15 & int14 -> int15: the gesticulating Samoan does not occur.; sent23 & int15 -> int16: that the anterogradeness and the gesticulating Lhasa happens is not right.; sent12 & int16 -> int17: the giveaway does not occur.; sent22 & int17 -> int18: the facility and the Bantu happens.; int18 -> int19: the Bantu happens.; sent8 & int19 -> int20: both the frozenness and the non-courteousness occurs.; int20 -> int21: the unfrozenness does not occur.;
$hypothesis$ = the fact that both the gesticulating Bellingham and the paleolithicness happens is not right. ; $context$ = sent1: if the fact that both the prawning and the indistinguishableness happens is wrong then that the gesticulating microsome does not occur hold. sent2: the intercourse occurs if the aerobicness occurs. sent3: the fact that the gesticulating microsome happens but the gesticulating tragacanth does not occur is incorrect if the TLC occurs. sent4: the gesticulating tragacanth does not occur if the flopping does not occur. sent5: the fact that both the watering and the greenhouseness happens is false if the beckoning cere does not occur. sent6: if that the contemplating does not occur hold then the fact that the prawn occurs and the indistinguishableness occurs is not right. sent7: the stoking occurs. sent8: that the frozenness and the discourteousness happens is brought about by that the Bantuness occurs. sent9: the fact that the gesticulating V-day happens but the melee does not occur does not hold if the denying probity does not occur. sent10: that both the gesticulating Bellingham and the paleolithicness occurs is false if the beckoning maidenhair does not occur. sent11: that either the indistinguishableness does not occur or the courteousness happens or both is not right. sent12: the fact that the giveaway occurs is not right if the fact that the anterogradeness and the gesticulating Lhasa happens does not hold. sent13: that the gesticulating miss happens is not wrong. sent14: if the lastingness does not occur the fact that the lessness does not occur and the upright does not occur is not correct. sent15: if that that the lessness does not occur and the uprightness does not occur is not right is not false then the fact that the gesticulating Samoan does not occur hold. sent16: if the workshop happens the lasting does not occur. sent17: that the gesticulating microsome does not occur results in that both the TLC and the paleolithicness happens. sent18: the by-product prevents that the TLC does not occur. sent19: the flop does not occur and the unfrozenness does not occur. sent20: the contemplating does not occur if the fact that the gesticulating V-day but not the melee occurs is false. sent21: not the vocationalness but the gesticulating customs occurs. sent22: the facility and the Bantu happens if the giveaway does not occur. sent23: that both the anterogradeness and the gesticulating Lhasa occurs is not correct if the gesticulating Samoan does not occur. sent24: the gesticulating microsome occurs if the fact that either the distinguishableness or the courteousness or both occurs does not hold. sent25: the beckoning maidenhair prevents that the by-product does not occur. sent26: if the vocationalness does not occur then both the sweeping and the workshop occurs. sent27: the gesticulating Bellingham occurs if the beckoning maidenhair does not occur and the by-product happens. ; $proof$ = 
void -> assump1: Let's assume that the beckoning maidenhair happens.; sent25 & assump1 -> int1: that the by-product happens hold.; int1 & sent18 -> int2: the TLC occurs.; int2 & sent3 -> int3: the fact that the gesticulating microsome but not the gesticulating tragacanth occurs is wrong.; sent24 & sent11 -> int4: the gesticulating microsome happens.; sent19 -> int5: the flopping does not occur.; sent4 & int5 -> int6: the fact that the gesticulating tragacanth does not occur is not incorrect.; int4 & int6 -> int7: the gesticulating microsome but not the gesticulating tragacanth happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the beckoning maidenhair does not occur is true.; int9 & sent10 -> hypothesis; __PROVED__