that the mammothermography happens and the huing Freemasonry happens does not hold.
sent1: the coinage happens. sent2: the unsinkableness occurs. sent3: that the fact that the prompt does not occur and the sally occurs is right is not correct. sent4: that the punishing hart's-tongue happens hold. sent5: that the tonsure does not occur prevents that the event happens. sent6: the tonsuring does not occur and the teamwork occurs. sent7: the carnalness happens. sent8: the polemoniaceousness does not occur. sent9: the passing tunic does not occur. sent10: that the fare-stage does not occur yields that the mammothermography happens. sent11: that the fare-stage and the punishing hart's-tongue occurs results in that the punishing wheelwork does not occur. sent12: if the carnalness happens that the czaristness does not occur and the huing Freemasonry does not occur does not hold. sent13: the flexure happens. sent14: that the crinoid does not occur results in that the electromyography occurs. sent15: if that the punishing wheelwork does not occur hold the event happens. sent16: the huing Freemasonry happens if the fact that the czaristness does not occur and the huing Freemasonry does not occur is not right.
void -> assump1: Let's assume that the fare-stage happens.; assump1 & sent4 -> int1: the fare-stage happens and the punishing hart's-tongue occurs.; int1 & sent11 -> int2: the punishing wheelwork does not occur.; int2 & sent15 -> int3: the event occurs.; sent6 -> int4: the tonsuring does not occur.; sent5 & int4 -> int5: the event does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the fare-stage does not occur is right.; int7 & sent10 -> int8: the mammothermography happens.; sent12 & sent7 -> int9: the fact that the fact that the czaristness does not occur and the huing Freemasonry does not occur hold is incorrect.; sent16 & int9 -> int10: the huing Freemasonry happens.; int8 & int10 -> hypothesis;
$hypothesis$ = that the mammothermography happens and the huing Freemasonry happens does not hold. ; $context$ = sent1: the coinage happens. sent2: the unsinkableness occurs. sent3: that the fact that the prompt does not occur and the sally occurs is right is not correct. sent4: that the punishing hart's-tongue happens hold. sent5: that the tonsure does not occur prevents that the event happens. sent6: the tonsuring does not occur and the teamwork occurs. sent7: the carnalness happens. sent8: the polemoniaceousness does not occur. sent9: the passing tunic does not occur. sent10: that the fare-stage does not occur yields that the mammothermography happens. sent11: that the fare-stage and the punishing hart's-tongue occurs results in that the punishing wheelwork does not occur. sent12: if the carnalness happens that the czaristness does not occur and the huing Freemasonry does not occur does not hold. sent13: the flexure happens. sent14: that the crinoid does not occur results in that the electromyography occurs. sent15: if that the punishing wheelwork does not occur hold the event happens. sent16: the huing Freemasonry happens if the fact that the czaristness does not occur and the huing Freemasonry does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the fare-stage happens.; assump1 & sent4 -> int1: the fare-stage happens and the punishing hart's-tongue occurs.; int1 & sent11 -> int2: the punishing wheelwork does not occur.; int2 & sent15 -> int3: the event occurs.; sent6 -> int4: the tonsuring does not occur.; sent5 & int4 -> int5: the event does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the fare-stage does not occur is right.; int7 & sent10 -> int8: the mammothermography happens.; sent12 & sent7 -> int9: the fact that the fact that the czaristness does not occur and the huing Freemasonry does not occur hold is incorrect.; sent16 & int9 -> int10: the huing Freemasonry happens.; int8 & int10 -> hypothesis; __DISPROVED__