the skimping does not occur.
sent1: the right but not the competition occurs if the resurvey does not occur. sent2: the preconditioning happens and the deceleration occurs. sent3: the competition does not occur if the resurvey does not occur. sent4: if the enraging does not occur then the fact that both the curveting Nijinsky and the colonialism occurs does not hold. sent5: the skimping occurs if both the non-athleticsness and the presidentialness occurs. sent6: the sulphuricness does not occur if that both the curveting Nijinsky and the colonialism happens does not hold. sent7: the plusness does not occur. sent8: that the competition does not occur hold. sent9: the resurvey does not occur. sent10: the athleticsness does not occur if both the grooving steakhouse and the enraging happens. sent11: the non-aleuronicness and the intention happens. sent12: the concurrence occurs and the sulphuricness occurs if the plusness does not occur. sent13: the concurrence happens. sent14: if the colonialism does not occur then that the sulphuricness does not occur is not wrong. sent15: the crosswiseness happens and the grooving steakhouse happens. sent16: the presidentialness happens if the righting occurs but the competition does not occur.
void -> assump1: Let's assume that the enraging does not occur.; sent4 & assump1 -> int1: the fact that both the curveting Nijinsky and the colonialism occurs does not hold.; int1 & sent6 -> int2: that the sulphuricness does not occur is correct.; sent12 & sent7 -> int3: the concurrence occurs and the sulphuricness happens.; int3 -> int4: the sulphuricness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the enraging happens is correct.; sent15 -> int7: the grooving steakhouse occurs.; int6 & int7 -> int8: the fact that the grooving steakhouse and the enraging happens is not false.; int8 & sent10 -> int9: the athleticsness does not occur.; sent1 & sent9 -> int10: the righting happens but the competition does not occur.; sent16 & int10 -> int11: the presidentialness occurs.; int9 & int11 -> int12: both the non-athleticsness and the presidentialness occurs.; int12 & sent5 -> hypothesis;
$hypothesis$ = the skimping does not occur. ; $context$ = sent1: the right but not the competition occurs if the resurvey does not occur. sent2: the preconditioning happens and the deceleration occurs. sent3: the competition does not occur if the resurvey does not occur. sent4: if the enraging does not occur then the fact that both the curveting Nijinsky and the colonialism occurs does not hold. sent5: the skimping occurs if both the non-athleticsness and the presidentialness occurs. sent6: the sulphuricness does not occur if that both the curveting Nijinsky and the colonialism happens does not hold. sent7: the plusness does not occur. sent8: that the competition does not occur hold. sent9: the resurvey does not occur. sent10: the athleticsness does not occur if both the grooving steakhouse and the enraging happens. sent11: the non-aleuronicness and the intention happens. sent12: the concurrence occurs and the sulphuricness occurs if the plusness does not occur. sent13: the concurrence happens. sent14: if the colonialism does not occur then that the sulphuricness does not occur is not wrong. sent15: the crosswiseness happens and the grooving steakhouse happens. sent16: the presidentialness happens if the righting occurs but the competition does not occur. ; $proof$ = 
void -> assump1: Let's assume that the enraging does not occur.; sent4 & assump1 -> int1: the fact that both the curveting Nijinsky and the colonialism occurs does not hold.; int1 & sent6 -> int2: that the sulphuricness does not occur is correct.; sent12 & sent7 -> int3: the concurrence occurs and the sulphuricness happens.; int3 -> int4: the sulphuricness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the enraging happens is correct.; sent15 -> int7: the grooving steakhouse occurs.; int6 & int7 -> int8: the fact that the grooving steakhouse and the enraging happens is not false.; int8 & sent10 -> int9: the athleticsness does not occur.; sent1 & sent9 -> int10: the righting happens but the competition does not occur.; sent16 & int10 -> int11: the presidentialness occurs.; int9 & int11 -> int12: both the non-athleticsness and the presidentialness occurs.; int12 & sent5 -> hypothesis; __DISPROVED__