the shift does not occur.
sent1: the redirecting carminative occurs if the fact that the vitrioling cotillion and/or the non-readiness occurs does not hold. sent2: if the fact that the redirecting centrist does not occur and the millenary occurs is not true the trafficking participant occurs. sent3: the trafficking participant does not occur if the redirecting carminative happens and the Norman does not occur. sent4: the shifting does not occur if the vitrioling Laburnum and/or the Normanness occurs. sent5: the fact that the vitrioling cotillion occurs and/or the ready does not occur is not correct. sent6: the fact that not the redirecting centrist but the millenariness occurs is wrong.
sent1 & sent5 -> int1: the redirecting carminative occurs.; void -> assump1: Let's assume that the Norman does not occur.; int1 & assump1 -> int2: the redirecting carminative happens and the Norman does not occur.; int2 & sent3 -> int3: the fact that the trafficking participant does not occur is not false.; sent2 & sent6 -> int4: the trafficking participant occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Norman occurs.; int6 -> int7: the vitrioling Laburnum and/or the Normanness happens.; int7 & sent4 -> hypothesis;
$hypothesis$ = the shift does not occur. ; $context$ = sent1: the redirecting carminative occurs if the fact that the vitrioling cotillion and/or the non-readiness occurs does not hold. sent2: if the fact that the redirecting centrist does not occur and the millenary occurs is not true the trafficking participant occurs. sent3: the trafficking participant does not occur if the redirecting carminative happens and the Norman does not occur. sent4: the shifting does not occur if the vitrioling Laburnum and/or the Normanness occurs. sent5: the fact that the vitrioling cotillion occurs and/or the ready does not occur is not correct. sent6: the fact that not the redirecting centrist but the millenariness occurs is wrong. ; $proof$ = 
sent1 & sent5 -> int1: the redirecting carminative occurs.; void -> assump1: Let's assume that the Norman does not occur.; int1 & assump1 -> int2: the redirecting carminative happens and the Norman does not occur.; int2 & sent3 -> int3: the fact that the trafficking participant does not occur is not false.; sent2 & sent6 -> int4: the trafficking participant occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Norman occurs.; int6 -> int7: the vitrioling Laburnum and/or the Normanness happens.; int7 & sent4 -> hypothesis; __PROVED__