the fact that the condensate does not occur if the fact that the trifurcation occurs is true does not hold.
sent1: the judicialness occurs. sent2: the calculation occurs. sent3: the glomerularness happens. sent4: the circularizing caldera happens. sent5: the condensate occurs if the trifurcation happens. sent6: if the novation and the circularizing carelessness happens the crustaceousness does not occur. sent7: the study happens. sent8: if the miracle does not occur the sunray happens. sent9: the swearing occurs. sent10: the pushover happens. sent11: the paramagneticness occurs and the chute happens. sent12: the refraining turncock happens if the study happens. sent13: the migration occurs if the chute occurs. sent14: that the circularizing midafternoon occurs is prevented by that both the migration and the condensate happens. sent15: if the fact that the circularizing midafternoon does not occur is correct then the trifurcation occurs. sent16: if the circularizing midafternoon does not occur then the trifurcation does not occur. sent17: that the refraining nasopharynx does not occur is correct if the elysianness occurs. sent18: the paramagneticness happens. sent19: the circularizing increasing does not occur if the circularizing dihydrostreptomycin happens. sent20: the presumption does not occur. sent21: the photostating Waite happens. sent22: the elysianness occurs.
void -> assump1: Let's assume that the trifurcation happens.; sent11 -> int1: the chute occurs.; sent13 & int1 -> int2: the migration occurs.; void -> assump2: Let's assume that the condensate happens.; int2 & assump2 -> int3: the migration happens and the condensate occurs.; sent14 & int3 -> int4: the circularizing midafternoon does not occur.; sent16 & int4 -> int5: the trifurcation does not occur.; assump1 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the condensate does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the condensate does not occur if the fact that the trifurcation occurs is true does not hold. ; $context$ = sent1: the judicialness occurs. sent2: the calculation occurs. sent3: the glomerularness happens. sent4: the circularizing caldera happens. sent5: the condensate occurs if the trifurcation happens. sent6: if the novation and the circularizing carelessness happens the crustaceousness does not occur. sent7: the study happens. sent8: if the miracle does not occur the sunray happens. sent9: the swearing occurs. sent10: the pushover happens. sent11: the paramagneticness occurs and the chute happens. sent12: the refraining turncock happens if the study happens. sent13: the migration occurs if the chute occurs. sent14: that the circularizing midafternoon occurs is prevented by that both the migration and the condensate happens. sent15: if the fact that the circularizing midafternoon does not occur is correct then the trifurcation occurs. sent16: if the circularizing midafternoon does not occur then the trifurcation does not occur. sent17: that the refraining nasopharynx does not occur is correct if the elysianness occurs. sent18: the paramagneticness happens. sent19: the circularizing increasing does not occur if the circularizing dihydrostreptomycin happens. sent20: the presumption does not occur. sent21: the photostating Waite happens. sent22: the elysianness occurs. ; $proof$ = 
void -> assump1: Let's assume that the trifurcation happens.; sent11 -> int1: the chute occurs.; sent13 & int1 -> int2: the migration occurs.; void -> assump2: Let's assume that the condensate happens.; int2 & assump2 -> int3: the migration happens and the condensate occurs.; sent14 & int3 -> int4: the circularizing midafternoon does not occur.; sent16 & int4 -> int5: the trifurcation does not occur.; assump1 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the condensate does not occur.; [assump1] & int7 -> hypothesis; __DISPROVED__