the folding woodruff does not occur and the crosswiseness does not occur.
sent1: that the folding woodruff occurs and the supererogation occurs brings about that the platinizing glutted does not occur. sent2: the Continentalness does not occur if the perseverance does not occur. sent3: the fact that the folding son and the nonharmonicness occurs if the telecasting occurs is right. sent4: that both the perseverance and the rearrangement happens does not hold if the platinizing glutted does not occur. sent5: that not the Continentalness but the rearrangement happens is incorrect if the mindfulness does not occur. sent6: the injunction occurs. sent7: the mindfulness does not occur and the folding son does not occur. sent8: the perseverance happens if the fact that the Continentalness does not occur and the rearrangement occurs is false. sent9: both the injunction and the supererogation happens. sent10: if that the mindfulness does not occur and the folding son does not occur hold then the fact that the crosswiseness does not occur is right. sent11: the crosswiseness does not occur if the mindfulness but not the folding son occurs. sent12: both the non-viaticalness and the telecast occurs if the stomatalness happens. sent13: if the fact that the perseverance occurs and the rearrangement happens is not right then the fact that the Continentalness does not occur is not incorrect. sent14: the fact that the folding woodruff does not occur and the crosswiseness does not occur is wrong if the injunction does not occur. sent15: the mindfulness does not occur if that the folding son occurs but the harmonicness does not occur is correct. sent16: the mindfulness does not occur. sent17: the platinizing icaco does not occur. sent18: the symbolization happens.
sent9 -> int1: the supererogation happens.; void -> assump1: Let's assume that the folding woodruff occurs.; int1 & assump1 -> int2: the folding woodruff happens and the supererogation happens.; int2 & sent1 -> int3: the platinizing glutted does not occur.; int3 & sent4 -> int4: that both the perseverance and the rearrangement occurs is wrong.; int4 & sent13 -> int5: the Continentalness does not occur.; sent10 & sent7 -> int6: the crosswiseness does not occur.;
that the folding woodruff does not occur and the crosswiseness does not occur does not hold.
$hypothesis$ = the folding woodruff does not occur and the crosswiseness does not occur. ; $context$ = sent1: that the folding woodruff occurs and the supererogation occurs brings about that the platinizing glutted does not occur. sent2: the Continentalness does not occur if the perseverance does not occur. sent3: the fact that the folding son and the nonharmonicness occurs if the telecasting occurs is right. sent4: that both the perseverance and the rearrangement happens does not hold if the platinizing glutted does not occur. sent5: that not the Continentalness but the rearrangement happens is incorrect if the mindfulness does not occur. sent6: the injunction occurs. sent7: the mindfulness does not occur and the folding son does not occur. sent8: the perseverance happens if the fact that the Continentalness does not occur and the rearrangement occurs is false. sent9: both the injunction and the supererogation happens. sent10: if that the mindfulness does not occur and the folding son does not occur hold then the fact that the crosswiseness does not occur is right. sent11: the crosswiseness does not occur if the mindfulness but not the folding son occurs. sent12: both the non-viaticalness and the telecast occurs if the stomatalness happens. sent13: if the fact that the perseverance occurs and the rearrangement happens is not right then the fact that the Continentalness does not occur is not incorrect. sent14: the fact that the folding woodruff does not occur and the crosswiseness does not occur is wrong if the injunction does not occur. sent15: the mindfulness does not occur if that the folding son occurs but the harmonicness does not occur is correct. sent16: the mindfulness does not occur. sent17: the platinizing icaco does not occur. sent18: the symbolization happens. ; $proof$ = 
sent9 -> int1: the supererogation happens.; void -> assump1: Let's assume that the folding woodruff occurs.; int1 & assump1 -> int2: the folding woodruff happens and the supererogation happens.; int2 & sent1 -> int3: the platinizing glutted does not occur.; int3 & sent4 -> int4: that both the perseverance and the rearrangement occurs is wrong.; int4 & sent13 -> int5: the Continentalness does not occur.; sent10 & sent7 -> int6: the crosswiseness does not occur.; __UNKNOWN__