the ceilidh happens.
sent1: the drum happens if that the fact that the orgy does not occur and the fronting disputant does not occur is correct is false. sent2: the repining neonatology occurs if the non-multilingualness or the non-imperialness or both happens. sent3: that both the diametralness and the fronting GMT happens does not hold. sent4: the ceilidh happens if that the diametralness does not occur but the fronting GMT occurs is incorrect. sent5: if the wave does not occur and/or the nones does not occur the repining liked happens. sent6: that that the plop does not occur and the shining does not occur does not hold is true. sent7: both the non-undesirableness and the knock happens. sent8: if the imperialness occurs that both the non-diametralness and the fronting GMT occurs is false. sent9: the allowing and the fronting cushaw happens. sent10: the fact that the orgy does not occur and the fronting disputant does not occur is false if the repining neonatology occurs. sent11: the subcorticalness does not occur if the fact that both the subcorticalness and the imperial occurs does not hold. sent12: if not the undesirableness but the fronting cushaw occurs then the drumming does not occur.
void -> assump1: Let's assume that that the imperial does not occur is not incorrect.; assump1 -> int1: the non-multilingualness and/or the non-imperialness happens.; int1 & sent2 -> int2: the repining neonatology occurs.; int2 & sent10 -> int3: that the orgy does not occur and the fronting disputant does not occur is wrong.; int3 & sent1 -> int4: the drumming occurs.; sent7 -> int5: the undesirable does not occur.; sent9 -> int6: the fronting cushaw occurs.; int5 & int6 -> int7: both the non-undesirableness and the fronting cushaw happens.; sent12 & int7 -> int8: the drumming does not occur.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the imperialness happens.; int10 & sent8 -> int11: the fact that both the non-diametralness and the fronting GMT happens is not right.; int11 & sent4 -> hypothesis;
the subcorticalness does not occur or the intermediateness does not occur or both.
$hypothesis$ = the ceilidh happens. ; $context$ = sent1: the drum happens if that the fact that the orgy does not occur and the fronting disputant does not occur is correct is false. sent2: the repining neonatology occurs if the non-multilingualness or the non-imperialness or both happens. sent3: that both the diametralness and the fronting GMT happens does not hold. sent4: the ceilidh happens if that the diametralness does not occur but the fronting GMT occurs is incorrect. sent5: if the wave does not occur and/or the nones does not occur the repining liked happens. sent6: that that the plop does not occur and the shining does not occur does not hold is true. sent7: both the non-undesirableness and the knock happens. sent8: if the imperialness occurs that both the non-diametralness and the fronting GMT occurs is false. sent9: the allowing and the fronting cushaw happens. sent10: the fact that the orgy does not occur and the fronting disputant does not occur is false if the repining neonatology occurs. sent11: the subcorticalness does not occur if the fact that both the subcorticalness and the imperial occurs does not hold. sent12: if not the undesirableness but the fronting cushaw occurs then the drumming does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the imperial does not occur is not incorrect.; assump1 -> int1: the non-multilingualness and/or the non-imperialness happens.; int1 & sent2 -> int2: the repining neonatology occurs.; int2 & sent10 -> int3: that the orgy does not occur and the fronting disputant does not occur is wrong.; int3 & sent1 -> int4: the drumming occurs.; sent7 -> int5: the undesirable does not occur.; sent9 -> int6: the fronting cushaw occurs.; int5 & int6 -> int7: both the non-undesirableness and the fronting cushaw happens.; sent12 & int7 -> int8: the drumming does not occur.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the imperialness happens.; int10 & sent8 -> int11: the fact that both the non-diametralness and the fronting GMT happens is not right.; int11 & sent4 -> hypothesis; __PROVED__