the unwelcomeness does not occur and/or the rabbinate happens.
sent1: the nonrepetitiveness does not occur if either the shining capitulation or the colonoscopy or both happens. sent2: the fact that the Catholicness does not occur is not false. sent3: if the accommodating parapet does not occur the nonrepetitiveness and the shining shogi happens. sent4: the accommodating parapet does not occur and the accommodating ton does not occur. sent5: the non-unwelcomeness is triggered by that the ragging does not occur but the pacing happens. sent6: the pacing happens and the accommodating Firenze occurs if the Catholicness does not occur. sent7: the shining capitulation happens if the rag occurs.
void -> assump1: Let's assume that the ragging happens.; sent7 & assump1 -> int1: the shining capitulation occurs.; int1 -> int2: either the shining capitulation or the colonoscopy or both happens.; int2 & sent1 -> int3: the nonrepetitiveness does not occur.; sent4 -> int4: the fact that the accommodating parapet does not occur is not wrong.; sent3 & int4 -> int5: the nonrepetitiveness occurs and the shining shogi happens.; int5 -> int6: the nonrepetitiveness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the ragging does not occur.; sent6 & sent2 -> int9: both the pacing and the accommodating Firenze occurs.; int9 -> int10: the pacing happens.; int8 & int10 -> int11: the rag does not occur and the pacing occurs.; int11 & sent5 -> int12: the fact that the unwelcomeness does not occur hold.; int12 -> hypothesis;
$hypothesis$ = the unwelcomeness does not occur and/or the rabbinate happens. ; $context$ = sent1: the nonrepetitiveness does not occur if either the shining capitulation or the colonoscopy or both happens. sent2: the fact that the Catholicness does not occur is not false. sent3: if the accommodating parapet does not occur the nonrepetitiveness and the shining shogi happens. sent4: the accommodating parapet does not occur and the accommodating ton does not occur. sent5: the non-unwelcomeness is triggered by that the ragging does not occur but the pacing happens. sent6: the pacing happens and the accommodating Firenze occurs if the Catholicness does not occur. sent7: the shining capitulation happens if the rag occurs. ; $proof$ = 
void -> assump1: Let's assume that the ragging happens.; sent7 & assump1 -> int1: the shining capitulation occurs.; int1 -> int2: either the shining capitulation or the colonoscopy or both happens.; int2 & sent1 -> int3: the nonrepetitiveness does not occur.; sent4 -> int4: the fact that the accommodating parapet does not occur is not wrong.; sent3 & int4 -> int5: the nonrepetitiveness occurs and the shining shogi happens.; int5 -> int6: the nonrepetitiveness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the ragging does not occur.; sent6 & sent2 -> int9: both the pacing and the accommodating Firenze occurs.; int9 -> int10: the pacing happens.; int8 & int10 -> int11: the rag does not occur and the pacing occurs.; int11 & sent5 -> int12: the fact that the unwelcomeness does not occur hold.; int12 -> hypothesis; __PROVED__