the fact that the risking vouchee does not occur and the yak does not occur if that the payback occurs is correct is not true.
sent1: the stabling coir does not occur if that the stabling coir happens and the risking vouchee does not occur is wrong. sent2: the spray occurs. sent3: if the fact that the accounting does not occur but the osculating happens does not hold the osculating does not occur. sent4: if the osculating does not occur then that the intertidalness and the white-collarness happens is not right. sent5: that both the spray and the risking vouchee happens results in that the payback does not occur. sent6: if the fact that the fact that the intertidalness occurs and the white-collarness occurs does not hold is not incorrect the yakking does not occur. sent7: the fact that not the accounting but the osculating happens does not hold if the alpineness does not occur. sent8: the alpineness does not occur.
void -> assump2: Let's assume that the risking vouchee occurs.; sent2 & assump2 -> int1: the spray happens and the risking vouchee occurs.; int1 & sent5 -> int2: the payback does not occur.; void -> assump1: Let's assume that the payback happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the risking vouchee does not occur.; sent7 & sent8 -> int5: that the accounting does not occur but the osculating occurs does not hold.; sent3 & int5 -> int6: the osculating does not occur.; sent4 & int6 -> int7: the fact that both the intertidalness and the white-collarness occurs is not right.; sent6 & int7 -> int8: the yak does not occur.; int4 & int8 -> int9: the risking vouchee does not occur and the yak does not occur.; [assump1] & int9 -> hypothesis;
the stabling coir does not occur.
$hypothesis$ = the fact that the risking vouchee does not occur and the yak does not occur if that the payback occurs is correct is not true. ; $context$ = sent1: the stabling coir does not occur if that the stabling coir happens and the risking vouchee does not occur is wrong. sent2: the spray occurs. sent3: if the fact that the accounting does not occur but the osculating happens does not hold the osculating does not occur. sent4: if the osculating does not occur then that the intertidalness and the white-collarness happens is not right. sent5: that both the spray and the risking vouchee happens results in that the payback does not occur. sent6: if the fact that the fact that the intertidalness occurs and the white-collarness occurs does not hold is not incorrect the yakking does not occur. sent7: the fact that not the accounting but the osculating happens does not hold if the alpineness does not occur. sent8: the alpineness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the risking vouchee occurs.; sent2 & assump2 -> int1: the spray happens and the risking vouchee occurs.; int1 & sent5 -> int2: the payback does not occur.; void -> assump1: Let's assume that the payback happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the risking vouchee does not occur.; sent7 & sent8 -> int5: that the accounting does not occur but the osculating occurs does not hold.; sent3 & int5 -> int6: the osculating does not occur.; sent4 & int6 -> int7: the fact that both the intertidalness and the white-collarness occurs is not right.; sent6 & int7 -> int8: the yak does not occur.; int4 & int8 -> int9: the risking vouchee does not occur and the yak does not occur.; [assump1] & int9 -> hypothesis; __DISPROVED__