the supersonicness does not occur if the Monacanness does not occur.
sent1: the stumbling cyclopropane does not occur if the Catholic does not occur. sent2: that the grading Kruger occurs results in that the Monacanness occurs. sent3: the grading Kruger and the stumbling Vidal happens if the uplink does not occur. sent4: the grading cheep occurs and the throbbing does not occur. sent5: if the bibliophilicness occurs the cognitiveness does not occur. sent6: if the Monacanness happens then the grading Auden does not occur or the supersonicness occurs or both. sent7: that the stumbling cyclopropane does not occur leads to that the counting piton happens and the DOS occurs. sent8: the Catholic does not occur and the blasphemy does not occur. sent9: the grading Auden does not occur if the grading Auden does not occur and/or the supersonicness happens. sent10: if that the uplink but not the grading bail happens is incorrect the uplink does not occur.
void -> assump1: Let's assume that the supersonicness occurs.; void -> assump2: Let's assume that the Monacanness does not occur.; assump1 & assump2 -> int1: both the supersonicness and the non-Monacanness occurs.;
the counting piton happens but the grading Auden does not occur.
sent8 -> int2: that the Catholicness does not occur is correct.; sent1 & int2 -> int3: that the stumbling cyclopropane does not occur hold.; sent7 & int3 -> int4: both the counting piton and the DOS happens.; int4 -> int5: the fact that the counting piton happens is correct.;
$hypothesis$ = the supersonicness does not occur if the Monacanness does not occur. ; $context$ = sent1: the stumbling cyclopropane does not occur if the Catholic does not occur. sent2: that the grading Kruger occurs results in that the Monacanness occurs. sent3: the grading Kruger and the stumbling Vidal happens if the uplink does not occur. sent4: the grading cheep occurs and the throbbing does not occur. sent5: if the bibliophilicness occurs the cognitiveness does not occur. sent6: if the Monacanness happens then the grading Auden does not occur or the supersonicness occurs or both. sent7: that the stumbling cyclopropane does not occur leads to that the counting piton happens and the DOS occurs. sent8: the Catholic does not occur and the blasphemy does not occur. sent9: the grading Auden does not occur if the grading Auden does not occur and/or the supersonicness happens. sent10: if that the uplink but not the grading bail happens is incorrect the uplink does not occur. ; $proof$ = 
void -> assump1: Let's assume that the supersonicness occurs.; void -> assump2: Let's assume that the Monacanness does not occur.; assump1 & assump2 -> int1: both the supersonicness and the non-Monacanness occurs.; __UNKNOWN__