the downhill does not occur and the unambitiousness does not occur.
sent1: not the neutrality but the shoring anecdote occurs. sent2: the downhill does not occur if the fact that the siderealness does not occur but the downhill occurs is not true. sent3: the Manichaeanness does not occur if the disjunctness and the unambitiousness happens. sent4: the shoring sparer does not occur. sent5: if the disjunctness does not occur then that the downhill does not occur and the unambitiousness does not occur does not hold. sent6: if the Manichaeanness does not occur then not the pickup but the diet occurs. sent7: the binauralness does not occur. sent8: that the non-siderealness and the downhill happens is not true. sent9: the shoring leviathan occurs. sent10: the corvineness does not occur. sent11: the fact that the fact that both the pickup and the dieting happens does not hold hold if the fact that the stare does not occur is true. sent12: the billowing pichiciago does not occur if the swelling does not occur. sent13: if the staring does not occur then the fact that the pickup does not occur and the dieting occurs does not hold. sent14: the disjunctness occurs.
void -> assump1: Let's assume that the unambitiousness occurs.; sent14 & assump1 -> int1: the disjunctness happens and the unambitiousness happens.; int1 & sent3 -> int2: the Manichaeanness does not occur.; int2 & sent6 -> int3: not the pickup but the dieting happens.; sent2 & sent8 -> int4: the downhill does not occur.;
the fact that the downhill does not occur and the unambitiousness does not occur does not hold.
$hypothesis$ = the downhill does not occur and the unambitiousness does not occur. ; $context$ = sent1: not the neutrality but the shoring anecdote occurs. sent2: the downhill does not occur if the fact that the siderealness does not occur but the downhill occurs is not true. sent3: the Manichaeanness does not occur if the disjunctness and the unambitiousness happens. sent4: the shoring sparer does not occur. sent5: if the disjunctness does not occur then that the downhill does not occur and the unambitiousness does not occur does not hold. sent6: if the Manichaeanness does not occur then not the pickup but the diet occurs. sent7: the binauralness does not occur. sent8: that the non-siderealness and the downhill happens is not true. sent9: the shoring leviathan occurs. sent10: the corvineness does not occur. sent11: the fact that the fact that both the pickup and the dieting happens does not hold hold if the fact that the stare does not occur is true. sent12: the billowing pichiciago does not occur if the swelling does not occur. sent13: if the staring does not occur then the fact that the pickup does not occur and the dieting occurs does not hold. sent14: the disjunctness occurs. ; $proof$ = 
void -> assump1: Let's assume that the unambitiousness occurs.; sent14 & assump1 -> int1: the disjunctness happens and the unambitiousness happens.; int1 & sent3 -> int2: the Manichaeanness does not occur.; int2 & sent6 -> int3: not the pickup but the dieting happens.; sent2 & sent8 -> int4: the downhill does not occur.; __UNKNOWN__