the cuisine does not occur.
sent1: if the fact that the piping barouche occurs is not true the colloquium occurs and the jumping Cricetus does not occur. sent2: if either the phase-out or the imperative or both occurs the phosphorousness does not occur. sent3: the phosphorousness occurs. sent4: the jumping swatter does not occur if the fact that the non-hydroelectricness and the non-noncriticalness occurs is wrong. sent5: if the phase-out occurs and/or the adjuration occurs the fact that the cuisine does not occur hold. sent6: if the adjuration happens then the phase-out happens. sent7: the parasailing occurs if the colloquium occurs. sent8: that the taming but not the hurdling occurs is triggered by that the jumping swatter does not occur. sent9: the piping barouche does not occur if the taming happens but the hurdles does not occur. sent10: the jumping multitudinousness occurs if the jumping floriculture occurs. sent11: if the eurythmy happens then the fact that the hydroelectricness does not occur and the noncriticalness does not occur is not true. sent12: if the adjuration does not occur then both the parasailing and the cuisine happens.
void -> assump1: Let's assume that the adjuration happens.; sent6 & assump1 -> int1: the phase-out occurs.; int1 -> int2: either the phase-out or the imperative or both happens.; int2 & sent2 -> int3: the phosphorousness does not occur.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the adjuration does not occur.; int5 & sent12 -> int6: the parasailing happens and the cuisine happens.; int6 -> hypothesis;
the cuisine does not occur.
$hypothesis$ = the cuisine does not occur. ; $context$ = sent1: if the fact that the piping barouche occurs is not true the colloquium occurs and the jumping Cricetus does not occur. sent2: if either the phase-out or the imperative or both occurs the phosphorousness does not occur. sent3: the phosphorousness occurs. sent4: the jumping swatter does not occur if the fact that the non-hydroelectricness and the non-noncriticalness occurs is wrong. sent5: if the phase-out occurs and/or the adjuration occurs the fact that the cuisine does not occur hold. sent6: if the adjuration happens then the phase-out happens. sent7: the parasailing occurs if the colloquium occurs. sent8: that the taming but not the hurdling occurs is triggered by that the jumping swatter does not occur. sent9: the piping barouche does not occur if the taming happens but the hurdles does not occur. sent10: the jumping multitudinousness occurs if the jumping floriculture occurs. sent11: if the eurythmy happens then the fact that the hydroelectricness does not occur and the noncriticalness does not occur is not true. sent12: if the adjuration does not occur then both the parasailing and the cuisine happens. ; $proof$ = 
void -> assump1: Let's assume that the adjuration happens.; sent6 & assump1 -> int1: the phase-out occurs.; int1 -> int2: either the phase-out or the imperative or both happens.; int2 & sent2 -> int3: the phosphorousness does not occur.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the adjuration does not occur.; int5 & sent12 -> int6: the parasailing happens and the cuisine happens.; int6 -> hypothesis; __DISPROVED__