the vocalicness occurs and the olfactoriness happens.
sent1: the falconineness occurs and the correlating aztreonam happens. sent2: if the correlating feint does not occur the rioting loon does not occur. sent3: if the word occurs then the practicing does not occur or the prelude does not occur or both. sent4: the burping does not occur. sent5: the pro-lifeness does not occur. sent6: if the word does not occur then the correlating feint does not occur. sent7: that either the practicing does not occur or the preluding does not occur or both is wrong if the pro-lifeness does not occur. sent8: the song happens and the vocalicness happens. sent9: that the rioting loon does not occur brings about that the burping does not occur and the teething does not occur. sent10: that the burping does not occur and the teething does not occur causes the olfactoriness.
void -> assump1: Let's assume that the fact that the word happens is correct.; sent3 & assump1 -> int1: the practice does not occur or the prelude does not occur or both.; sent7 & sent5 -> int2: that the practice does not occur or the preluding does not occur or both is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the word does not occur.; int4 & sent6 -> int5: the correlating feint does not occur.; int5 & sent2 -> int6: the rioting loon does not occur.; int6 & sent9 -> int7: the burping does not occur and the teething does not occur.; int7 & sent10 -> int8: the olfactoriness occurs.; sent8 -> int9: the vocalicness happens.; int8 & int9 -> hypothesis;
that the vocalicness and the olfactoriness happens does not hold.
 -> hypothesis;
$hypothesis$ = the vocalicness occurs and the olfactoriness happens. ; $context$ = sent1: the falconineness occurs and the correlating aztreonam happens. sent2: if the correlating feint does not occur the rioting loon does not occur. sent3: if the word occurs then the practicing does not occur or the prelude does not occur or both. sent4: the burping does not occur. sent5: the pro-lifeness does not occur. sent6: if the word does not occur then the correlating feint does not occur. sent7: that either the practicing does not occur or the preluding does not occur or both is wrong if the pro-lifeness does not occur. sent8: the song happens and the vocalicness happens. sent9: that the rioting loon does not occur brings about that the burping does not occur and the teething does not occur. sent10: that the burping does not occur and the teething does not occur causes the olfactoriness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the word happens is correct.; sent3 & assump1 -> int1: the practice does not occur or the prelude does not occur or both.; sent7 & sent5 -> int2: that the practice does not occur or the preluding does not occur or both is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the word does not occur.; int4 & sent6 -> int5: the correlating feint does not occur.; int5 & sent2 -> int6: the rioting loon does not occur.; int6 & sent9 -> int7: the burping does not occur and the teething does not occur.; int7 & sent10 -> int8: the olfactoriness occurs.; sent8 -> int9: the vocalicness happens.; int8 & int9 -> hypothesis; __PROVED__