the swamping Pavlova occurs.
sent1: the swamping Pavlova and the amaranthineness occurs if the revenging does not occur. sent2: if the messianicness does not occur then both the non-garlickiness and the criminalization occurs. sent3: both the PET and the nonexplosiveness happens. sent4: if the immolation does not occur then that the permeableness and the fluoroscopy occurs is not correct. sent5: the hurling happens. sent6: the reproduction happens if the anastigmaticness does not occur. sent7: if the fact that both the permeableness and the fluoroscopy occurs is incorrect then the swamping Pavlova does not occur. sent8: that the venipuncture happens if the gutsiness does not occur is right. sent9: the sampling Bowditch happens. sent10: the anastigmaticness does not occur. sent11: the roundup does not occur if the amaranthineness occurs and the revenging occurs. sent12: that the inextricableness occurs is not right. sent13: that the sniff does not occur but the putridness occurs is brought about by that the amaranthineness does not occur. sent14: that the roundup happens and the reproduction happens is triggered by that the anastigmaticness does not occur. sent15: the immolation does not occur if not the sniff but the putridness happens. sent16: the revenging occurs. sent17: the putridness happens if the fact that the amaranthineness does not occur is true.
void -> assump1: Let's assume that the amaranthineness occurs.; assump1 & sent16 -> int1: the amaranthineness happens and the revenging happens.; int1 & sent11 -> int2: the fact that the roundup does not occur is right.; sent14 & sent10 -> int3: both the roundup and the reproduction happens.; int3 -> int4: the roundup occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the amaranthineness does not occur.; int6 & sent13 -> int7: the sniff does not occur but the putridness occurs.; int7 & sent15 -> int8: the fact that the immolation does not occur is right.; int8 & sent4 -> int9: the fact that both the permeableness and the fluoroscopy occurs is not right.; int9 & sent7 -> hypothesis;
the swamping Pavlova happens.
$hypothesis$ = the swamping Pavlova occurs. ; $context$ = sent1: the swamping Pavlova and the amaranthineness occurs if the revenging does not occur. sent2: if the messianicness does not occur then both the non-garlickiness and the criminalization occurs. sent3: both the PET and the nonexplosiveness happens. sent4: if the immolation does not occur then that the permeableness and the fluoroscopy occurs is not correct. sent5: the hurling happens. sent6: the reproduction happens if the anastigmaticness does not occur. sent7: if the fact that both the permeableness and the fluoroscopy occurs is incorrect then the swamping Pavlova does not occur. sent8: that the venipuncture happens if the gutsiness does not occur is right. sent9: the sampling Bowditch happens. sent10: the anastigmaticness does not occur. sent11: the roundup does not occur if the amaranthineness occurs and the revenging occurs. sent12: that the inextricableness occurs is not right. sent13: that the sniff does not occur but the putridness occurs is brought about by that the amaranthineness does not occur. sent14: that the roundup happens and the reproduction happens is triggered by that the anastigmaticness does not occur. sent15: the immolation does not occur if not the sniff but the putridness happens. sent16: the revenging occurs. sent17: the putridness happens if the fact that the amaranthineness does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the amaranthineness occurs.; assump1 & sent16 -> int1: the amaranthineness happens and the revenging happens.; int1 & sent11 -> int2: the fact that the roundup does not occur is right.; sent14 & sent10 -> int3: both the roundup and the reproduction happens.; int3 -> int4: the roundup occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the amaranthineness does not occur.; int6 & sent13 -> int7: the sniff does not occur but the putridness occurs.; int7 & sent15 -> int8: the fact that the immolation does not occur is right.; int8 & sent4 -> int9: the fact that both the permeableness and the fluoroscopy occurs is not right.; int9 & sent7 -> hypothesis; __DISPROVED__