the scoring happens.
sent1: that not the rewarding Laudo but the incorporation occurs does not hold if that the collaboration does not occur hold. sent2: the score does not occur if the pegging Dominic and/or the collaboration happens. sent3: the rewarding Laudo does not occur. sent4: the incorporation occurs. sent5: if the tasting occurs the pegging safeness occurs but the pegging Dominic does not occur.
void -> assump1: Let's assume that the fact that the collaboration does not occur is correct.; sent1 & assump1 -> int1: that the rewarding Laudo does not occur and the incorporation occurs does not hold.; sent3 & sent4 -> int2: that the rewarding Laudo does not occur and the incorporation occurs is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the collaboration happens.; int4 -> int5: either the pegging Dominic happens or the collaboration happens or both.; int5 & sent2 -> hypothesis;
the score occurs.
$hypothesis$ = the scoring happens. ; $context$ = sent1: that not the rewarding Laudo but the incorporation occurs does not hold if that the collaboration does not occur hold. sent2: the score does not occur if the pegging Dominic and/or the collaboration happens. sent3: the rewarding Laudo does not occur. sent4: the incorporation occurs. sent5: if the tasting occurs the pegging safeness occurs but the pegging Dominic does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the collaboration does not occur is correct.; sent1 & assump1 -> int1: that the rewarding Laudo does not occur and the incorporation occurs does not hold.; sent3 & sent4 -> int2: that the rewarding Laudo does not occur and the incorporation occurs is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the collaboration happens.; int4 -> int5: either the pegging Dominic happens or the collaboration happens or both.; int5 & sent2 -> hypothesis; __DISPROVED__