the dysphoricness does not occur and the butterfly does not occur.
sent1: if either the non-umbelliformness or the Cockney or both occurs that the grazing does not occur is correct. sent2: if the piecing legs occurs the polyphonicness occurs. sent3: the butterflying does not occur. sent4: the fact that the Cockneiness does not occur and the grazing occurs is not correct. sent5: if the plonk does not occur the fact that the Cockney does not occur and the grazing happens is wrong. sent6: the barring does not occur if that the plonk does not occur but the scuffing flitch occurs is false. sent7: that the anagraming does not occur is right if the fact that the u-turn and/or the cardinalship occurs does not hold. sent8: the fact that the Vedicness does not occur is not false if both the skimming and the FIFO occurs. sent9: the fact that the Cockney does not occur and the grazing does not occur does not hold if the plonk does not occur. sent10: if the FIFO does not occur the fact that the barring occurs and/or the scuffing flitch occurs is wrong. sent11: if the fact that the grazing does not occur is true that the plonk does not occur but the scuffing flitch occurs is not true. sent12: the skim happens. sent13: that the non-regimentalness is prevented by that the linearness does not occur but the annelid occurs is not false. sent14: the Cambodianness happens. sent15: the plonk does not occur if the fact that the barring and/or the scuffing flitch occurs is not true. sent16: the auxinicness occurs. sent17: if that the girdling Hausa happens hold the non-linearness and the annelid happens. sent18: the umbelliformness does not occur if the fact that both the non-Lusitanianness and the umbelliformness occurs does not hold. sent19: if the regimentalness occurs then the piecing legs occurs. sent20: if the grazing occurs the fact that the dysphoricness does not occur is not incorrect. sent21: if the FIFO does not occur then the bars does not occur. sent22: the fact that the dysphoricness does not occur and the butterfly does not occur is false if the skim does not occur. sent23: that the non-Lusitanianness and the umbelliformness happens does not hold if the polyphonicness happens. sent24: the Vedicness happens. sent25: the fact that either the rowing happens or the aromatherapy occurs or both does not hold if the fruitage does not occur.
void -> assump1: Let's assume that the FIFO occurs.; sent12 & assump1 -> int1: the skim and the FIFO occurs.; int1 & sent8 -> int2: the Vedicness does not occur.; int2 & sent24 -> int3: this is contradiction.; [assump1] & int3 -> int4: the FIFO does not occur.; int4 & sent10 -> int5: the fact that the bars and/or the scuffing flitch occurs does not hold.; int5 & sent15 -> int6: that the plonk does not occur is not wrong.; int6 & sent9 -> int7: the fact that the Cockneiness does not occur and the grazing does not occur is wrong.;
the fact that the dysphoricness does not occur and the butterfly does not occur does not hold.
$hypothesis$ = the dysphoricness does not occur and the butterfly does not occur. ; $context$ = sent1: if either the non-umbelliformness or the Cockney or both occurs that the grazing does not occur is correct. sent2: if the piecing legs occurs the polyphonicness occurs. sent3: the butterflying does not occur. sent4: the fact that the Cockneiness does not occur and the grazing occurs is not correct. sent5: if the plonk does not occur the fact that the Cockney does not occur and the grazing happens is wrong. sent6: the barring does not occur if that the plonk does not occur but the scuffing flitch occurs is false. sent7: that the anagraming does not occur is right if the fact that the u-turn and/or the cardinalship occurs does not hold. sent8: the fact that the Vedicness does not occur is not false if both the skimming and the FIFO occurs. sent9: the fact that the Cockney does not occur and the grazing does not occur does not hold if the plonk does not occur. sent10: if the FIFO does not occur the fact that the barring occurs and/or the scuffing flitch occurs is wrong. sent11: if the fact that the grazing does not occur is true that the plonk does not occur but the scuffing flitch occurs is not true. sent12: the skim happens. sent13: that the non-regimentalness is prevented by that the linearness does not occur but the annelid occurs is not false. sent14: the Cambodianness happens. sent15: the plonk does not occur if the fact that the barring and/or the scuffing flitch occurs is not true. sent16: the auxinicness occurs. sent17: if that the girdling Hausa happens hold the non-linearness and the annelid happens. sent18: the umbelliformness does not occur if the fact that both the non-Lusitanianness and the umbelliformness occurs does not hold. sent19: if the regimentalness occurs then the piecing legs occurs. sent20: if the grazing occurs the fact that the dysphoricness does not occur is not incorrect. sent21: if the FIFO does not occur then the bars does not occur. sent22: the fact that the dysphoricness does not occur and the butterfly does not occur is false if the skim does not occur. sent23: that the non-Lusitanianness and the umbelliformness happens does not hold if the polyphonicness happens. sent24: the Vedicness happens. sent25: the fact that either the rowing happens or the aromatherapy occurs or both does not hold if the fruitage does not occur. ; $proof$ = 
void -> assump1: Let's assume that the FIFO occurs.; sent12 & assump1 -> int1: the skim and the FIFO occurs.; int1 & sent8 -> int2: the Vedicness does not occur.; int2 & sent24 -> int3: this is contradiction.; [assump1] & int3 -> int4: the FIFO does not occur.; int4 & sent10 -> int5: the fact that the bars and/or the scuffing flitch occurs does not hold.; int5 & sent15 -> int6: that the plonk does not occur is not wrong.; int6 & sent9 -> int7: the fact that the Cockneiness does not occur and the grazing does not occur is wrong.; __UNKNOWN__