the deviating Burgoyne does not occur.
sent1: if that the deviating extradition happens is not incorrect the intro occurs. sent2: the rioting midgrass occurs. sent3: the fact that the ordering does not occur is wrong. sent4: that the deviating extradition does not occur is prevented by that the interchange does not occur. sent5: the birefringence occurs if the rioting midgrass happens. sent6: the deviating Burgoyne occurs if the leaching winger happens. sent7: if the fact that the pugilisticness does not occur and/or the orchiopexy does not occur is not right the luxuriation does not occur. sent8: the nepotism happens if the Depression happens. sent9: if the fact that the phacoemulsification does not occur or the interchanging does not occur or both is not correct then the gleaming does not occur. sent10: the leaching winger occurs if the fact that the intro occurs is not wrong. sent11: the psychiatricness does not occur and/or the snafuing does not occur. sent12: the gleaming happens. sent13: if the teething happens the submersion does not occur and the deviating proselytism does not occur. sent14: if the deviating proselytism does not occur the fact that that the intro occurs and the leaching winger occurs is not correct is true. sent15: if the phacoemulsification does not occur then the deviating extradition occurs.
void -> assump1: Let's assume that the fact that the phacoemulsification does not occur or the interchanging does not occur or both is not right.; sent9 & assump1 -> int1: that the gleam does not occur is not incorrect.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: either the phacoemulsification does not occur or the interchange does not occur or both.; int3 & sent15 & sent4 -> int4: the deviating extradition occurs.; int4 & sent1 -> int5: the intro occurs.; int5 & sent10 -> int6: the fact that the leaching winger occurs hold.; int6 & sent6 -> hypothesis;
that the deviating Burgoyne does not occur is correct.
$hypothesis$ = the deviating Burgoyne does not occur. ; $context$ = sent1: if that the deviating extradition happens is not incorrect the intro occurs. sent2: the rioting midgrass occurs. sent3: the fact that the ordering does not occur is wrong. sent4: that the deviating extradition does not occur is prevented by that the interchange does not occur. sent5: the birefringence occurs if the rioting midgrass happens. sent6: the deviating Burgoyne occurs if the leaching winger happens. sent7: if the fact that the pugilisticness does not occur and/or the orchiopexy does not occur is not right the luxuriation does not occur. sent8: the nepotism happens if the Depression happens. sent9: if the fact that the phacoemulsification does not occur or the interchanging does not occur or both is not correct then the gleaming does not occur. sent10: the leaching winger occurs if the fact that the intro occurs is not wrong. sent11: the psychiatricness does not occur and/or the snafuing does not occur. sent12: the gleaming happens. sent13: if the teething happens the submersion does not occur and the deviating proselytism does not occur. sent14: if the deviating proselytism does not occur the fact that that the intro occurs and the leaching winger occurs is not correct is true. sent15: if the phacoemulsification does not occur then the deviating extradition occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the phacoemulsification does not occur or the interchanging does not occur or both is not right.; sent9 & assump1 -> int1: that the gleam does not occur is not incorrect.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: either the phacoemulsification does not occur or the interchange does not occur or both.; int3 & sent15 & sent4 -> int4: the deviating extradition occurs.; int4 & sent1 -> int5: the intro occurs.; int5 & sent10 -> int6: the fact that the leaching winger occurs hold.; int6 & sent6 -> hypothesis; __DISPROVED__