the archery does not occur.
sent1: if the flood occurs the archery happens. sent2: that the pyreticness happens prevents that the mammography does not occur. sent3: the fact that not the jiggling Roth but the flooding occurs does not hold if the fact that the simony does not occur is right. sent4: if the mammography happens then the simony does not occur. sent5: if the fact that the jiggling Roth does not occur and the flooding does not occur is not correct that the archery occurs is true. sent6: the cheesing happens. sent7: the fact that the cheesing does not occur and/or the pyreticness does not occur is false. sent8: if the simony does not occur the fact that the jiggling Roth does not occur and the flood does not occur is not correct.
void -> assump1: Let's assume that the pyreticness does not occur.; assump1 -> int1: the cheese does not occur and/or the pyreticness does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pyreticness happens.; sent2 & int3 -> int4: the mammography happens.; sent4 & int4 -> int5: that the simony happens is not true.; sent8 & int5 -> int6: the fact that the jiggling Roth does not occur and the flood does not occur is incorrect.; sent5 & int6 -> hypothesis;
$hypothesis$ = the archery does not occur. ; $context$ = sent1: if the flood occurs the archery happens. sent2: that the pyreticness happens prevents that the mammography does not occur. sent3: the fact that not the jiggling Roth but the flooding occurs does not hold if the fact that the simony does not occur is right. sent4: if the mammography happens then the simony does not occur. sent5: if the fact that the jiggling Roth does not occur and the flooding does not occur is not correct that the archery occurs is true. sent6: the cheesing happens. sent7: the fact that the cheesing does not occur and/or the pyreticness does not occur is false. sent8: if the simony does not occur the fact that the jiggling Roth does not occur and the flood does not occur is not correct. ; $proof$ = 
void -> assump1: Let's assume that the pyreticness does not occur.; assump1 -> int1: the cheese does not occur and/or the pyreticness does not occur.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pyreticness happens.; sent2 & int3 -> int4: the mammography happens.; sent4 & int4 -> int5: that the simony happens is not true.; sent8 & int5 -> int6: the fact that the jiggling Roth does not occur and the flood does not occur is incorrect.; sent5 & int6 -> hypothesis; __DISPROVED__