the fact that if the zoonoticness happens the nervousness does not occur is not correct.
sent1: if the fact that not the unfavorableness but the zoonoticness happens is incorrect then the unfavorableness happens. sent2: the non-machine-madeness is brought about by that the overreaching occurs. sent3: the worstedness does not occur. sent4: that the retribution and the wreathing happens prevents the non-suctorialness. sent5: the microwave does not occur. sent6: if the saving occurs the fact that the nervousness occurs but the maintenance does not occur is not correct. sent7: if the maintenance and the nervousness occurs the fact that the zoonoticness does not occur hold. sent8: that the Hell and the areolarness happens prevents that the issue occurs. sent9: the maintenance occurs. sent10: the galling ophthalmoscopy does not occur. sent11: if both the maintenance and the nervousness happens then the zoonoticness occurs. sent12: the cooling happens if the antecedent and the systole happens. sent13: if that the nervousness but not the maintenance occurs is not correct then the resuscitation occurs. sent14: that the recruit happens triggers the washup. sent15: that not the unfavorableness but the zoonoticness occurs does not hold if the galling ophthalmoscopy does not occur. sent16: if that the zoonoticness happens is true then the nervousness happens. sent17: that the alternation occurs prevents the galling six-spot. sent18: the pyrochemicalness happens. sent19: the fact that the hallelujah happens is not incorrect. sent20: the issuing does not occur if the weaving happens. sent21: the fact that the disobliging alluring occurs is correct. sent22: if the improperness occurs and the header occurs the till does not occur.
void -> assump1: Let's assume that that the zoonoticness occurs is true.; void -> assump2: Let's assume that the nervousness occurs.; sent9 & assump2 -> int1: the maintenance occurs and the nervousness occurs.; sent7 & int1 -> int2: the zoonoticness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the nervousness does not occur.; [assump1] & int4 -> hypothesis;
both the unfavorableness and the resuscitation happens.
sent15 & sent10 -> int5: that not the unfavorableness but the zoonoticness happens is false.; sent1 & int5 -> int6: the unfavorableness occurs.;
$hypothesis$ = the fact that if the zoonoticness happens the nervousness does not occur is not correct. ; $context$ = sent1: if the fact that not the unfavorableness but the zoonoticness happens is incorrect then the unfavorableness happens. sent2: the non-machine-madeness is brought about by that the overreaching occurs. sent3: the worstedness does not occur. sent4: that the retribution and the wreathing happens prevents the non-suctorialness. sent5: the microwave does not occur. sent6: if the saving occurs the fact that the nervousness occurs but the maintenance does not occur is not correct. sent7: if the maintenance and the nervousness occurs the fact that the zoonoticness does not occur hold. sent8: that the Hell and the areolarness happens prevents that the issue occurs. sent9: the maintenance occurs. sent10: the galling ophthalmoscopy does not occur. sent11: if both the maintenance and the nervousness happens then the zoonoticness occurs. sent12: the cooling happens if the antecedent and the systole happens. sent13: if that the nervousness but not the maintenance occurs is not correct then the resuscitation occurs. sent14: that the recruit happens triggers the washup. sent15: that not the unfavorableness but the zoonoticness occurs does not hold if the galling ophthalmoscopy does not occur. sent16: if that the zoonoticness happens is true then the nervousness happens. sent17: that the alternation occurs prevents the galling six-spot. sent18: the pyrochemicalness happens. sent19: the fact that the hallelujah happens is not incorrect. sent20: the issuing does not occur if the weaving happens. sent21: the fact that the disobliging alluring occurs is correct. sent22: if the improperness occurs and the header occurs the till does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the zoonoticness occurs is true.; void -> assump2: Let's assume that the nervousness occurs.; sent9 & assump2 -> int1: the maintenance occurs and the nervousness occurs.; sent7 & int1 -> int2: the zoonoticness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the nervousness does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__