if the papillateness happens then the breakfasting Chipewyan does not occur or the doting happens or both.
sent1: the papillateness does not occur if that the creedalness happens and/or the civility does not occur is false. sent2: the field does not occur or the nonnativeness occurs or both. sent3: either the breakfasting Chipewyan happens or the doting happens or both. sent4: that the breakfasting Chipewyan does not occur is triggered by that either the penalty or the whacking or both happens. sent5: that the creedalness occurs and/or the civility does not occur prevents that the penalty does not occur. sent6: the objectification does not occur or the accepting splat happens or both if the volubleness happens.
void -> assump2: Let's assume that the fact that the papillateness happens is not false.; void -> assump1: Let's assume that that the creedalness occurs and/or the civility does not occur is not true.; sent1 & assump1 -> int1: that the papillateness does not occur is not wrong.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the creedalness occurs and/or the civility does not occur.; sent5 & int3 -> int4: that the penalty occurs hold.; int4 -> int5: the fact that the penalty occurs or the whack happens or both is true.; sent4 & int5 -> int6: the breakfasting Chipewyan does not occur.; int6 -> int7: the breakfasting Chipewyan does not occur and/or the doting happens.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the papillateness happens then the breakfasting Chipewyan does not occur or the doting happens or both. ; $context$ = sent1: the papillateness does not occur if that the creedalness happens and/or the civility does not occur is false. sent2: the field does not occur or the nonnativeness occurs or both. sent3: either the breakfasting Chipewyan happens or the doting happens or both. sent4: that the breakfasting Chipewyan does not occur is triggered by that either the penalty or the whacking or both happens. sent5: that the creedalness occurs and/or the civility does not occur prevents that the penalty does not occur. sent6: the objectification does not occur or the accepting splat happens or both if the volubleness happens. ; $proof$ = 
void -> assump2: Let's assume that the fact that the papillateness happens is not false.; void -> assump1: Let's assume that that the creedalness occurs and/or the civility does not occur is not true.; sent1 & assump1 -> int1: that the papillateness does not occur is not wrong.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the creedalness occurs and/or the civility does not occur.; sent5 & int3 -> int4: that the penalty occurs hold.; int4 -> int5: the fact that the penalty occurs or the whack happens or both is true.; sent4 & int5 -> int6: the breakfasting Chipewyan does not occur.; int6 -> int7: the breakfasting Chipewyan does not occur and/or the doting happens.; [assump2] & int7 -> hypothesis; __PROVED__