the floweriness happens.
sent1: the monetizing ballcock does not occur. sent2: the bleeding but not the monetizing cracker occurs. sent3: the monetizing solvate does not occur. sent4: the fact that the whiffing commandment happens is not incorrect. sent5: the fact that not the whiffing whitewash but the floweriness occurs is not true if the doubleheader occurs. sent6: the floweriness happens if the fact that both the non-christianness and the bleeding occurs hold. sent7: the monetizing cracker is prevented by that the monetizing cracker does not occur or the disobedience or both. sent8: that the monetizing cracker does not occur or that the disobedience occurs or both is brought about by that the resurvey does not occur. sent9: the whiffing Darrow occurs. sent10: the non-premenstrualness triggers that the invite and the non-floweriness occurs. sent11: the experimentalness happens. sent12: that the monetizing catch does not occur brings about that the unpropitiousness or the pulsation or both occurs. sent13: that the doubleheader but not the monetizing solvate occurs prevents that the whiffing whitewash occurs. sent14: if the fact that the whiffing whitewash does not occur is not wrong then the christianness and the bleeding occurs. sent15: that the monetizing harborage occurs is not true if the inviting happens and the premenstrualness happens. sent16: that the schizophrenicness happens prevents that the unseamanlikeness does not occur. sent17: if the Beethovenianness does not occur the qualifying and/or the discriminatingness happens. sent18: if the whiffing Darrow occurs the resurvey does not occur and the federalization does not occur. sent19: that the monetizing harborage occurs is triggered by that the doubleheader happens. sent20: if the fact that the whiffing whitewash happens is not incorrect then the monetizing harborage happens. sent21: if the premenstrualness does not occur the intercontinentalness and the invite happens. sent22: the doubleheader happens and/or the whiffing whitewash happens if the monetizing solvate does not occur. sent23: the premenstrualness occurs. sent24: the premenstrualness does not occur if the christianness does not occur and the monetizing harborage does not occur. sent25: if the invite does not occur then the fact that the christianness does not occur is right.
void -> assump1: Let's assume that the fact that the invite occurs is not wrong.; assump1 & sent23 -> int1: the invite and the premenstrualness happens.; int1 & sent15 -> int2: the monetizing harborage does not occur.; sent22 & sent3 -> int3: either the doubleheader or the whiffing whitewash or both happens.; int3 & sent19 & sent20 -> int4: the monetizing harborage happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the invite does not occur.; int6 & sent25 -> int7: the fact that the christianness does not occur is true.; sent2 -> int8: the bleeding occurs.; int7 & int8 -> int9: both the non-christianness and the bleeding occurs.; int9 & sent6 -> hypothesis;
the intercontinentalness occurs.
sent18 & sent9 -> int10: the resurvey does not occur and the federalization does not occur.; int10 -> int11: the resurvey does not occur.; sent8 & int11 -> int12: the monetizing cracker does not occur and/or the disobedience occurs.; sent7 & int12 -> int13: that the monetizing cracker does not occur hold.;
$hypothesis$ = the floweriness happens. ; $context$ = sent1: the monetizing ballcock does not occur. sent2: the bleeding but not the monetizing cracker occurs. sent3: the monetizing solvate does not occur. sent4: the fact that the whiffing commandment happens is not incorrect. sent5: the fact that not the whiffing whitewash but the floweriness occurs is not true if the doubleheader occurs. sent6: the floweriness happens if the fact that both the non-christianness and the bleeding occurs hold. sent7: the monetizing cracker is prevented by that the monetizing cracker does not occur or the disobedience or both. sent8: that the monetizing cracker does not occur or that the disobedience occurs or both is brought about by that the resurvey does not occur. sent9: the whiffing Darrow occurs. sent10: the non-premenstrualness triggers that the invite and the non-floweriness occurs. sent11: the experimentalness happens. sent12: that the monetizing catch does not occur brings about that the unpropitiousness or the pulsation or both occurs. sent13: that the doubleheader but not the monetizing solvate occurs prevents that the whiffing whitewash occurs. sent14: if the fact that the whiffing whitewash does not occur is not wrong then the christianness and the bleeding occurs. sent15: that the monetizing harborage occurs is not true if the inviting happens and the premenstrualness happens. sent16: that the schizophrenicness happens prevents that the unseamanlikeness does not occur. sent17: if the Beethovenianness does not occur the qualifying and/or the discriminatingness happens. sent18: if the whiffing Darrow occurs the resurvey does not occur and the federalization does not occur. sent19: that the monetizing harborage occurs is triggered by that the doubleheader happens. sent20: if the fact that the whiffing whitewash happens is not incorrect then the monetizing harborage happens. sent21: if the premenstrualness does not occur the intercontinentalness and the invite happens. sent22: the doubleheader happens and/or the whiffing whitewash happens if the monetizing solvate does not occur. sent23: the premenstrualness occurs. sent24: the premenstrualness does not occur if the christianness does not occur and the monetizing harborage does not occur. sent25: if the invite does not occur then the fact that the christianness does not occur is right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the invite occurs is not wrong.; assump1 & sent23 -> int1: the invite and the premenstrualness happens.; int1 & sent15 -> int2: the monetizing harborage does not occur.; sent22 & sent3 -> int3: either the doubleheader or the whiffing whitewash or both happens.; int3 & sent19 & sent20 -> int4: the monetizing harborage happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the invite does not occur.; int6 & sent25 -> int7: the fact that the christianness does not occur is true.; sent2 -> int8: the bleeding occurs.; int7 & int8 -> int9: both the non-christianness and the bleeding occurs.; int9 & sent6 -> hypothesis; __PROVED__