the ramble happens.
sent1: the permit does not occur. sent2: that the skiing does not occur is not false. sent3: that the gathering patriot occurs is prevented by that the skiing does not occur and the scamper does not occur. sent4: if the guessing Mandelbrot happens then the fact that the convolution does not occur but the unfortunateness occurs is not correct. sent5: the fact that the guessing Mandelbrot happens if that that the Austronesianness does not occur and the piggyback occurs is not correct hold is not false. sent6: the gathering patriot occurs. sent7: if that the convolution does not occur and the unfortunateness occurs is not right the fact that the ramble does not occur is correct. sent8: if not the Austronesianness but the piggyback occurs the scamper does not occur. sent9: the fact that the urbanness occurs is true. sent10: that the convolution occurs and the unfortunate happens does not hold.
void -> assump1: Let's assume that not the Austronesianness but the piggyback happens.; sent8 & assump1 -> int1: the scamper does not occur.; int1 & sent2 -> int2: the skiing does not occur and the scamper does not occur.; int2 & sent3 -> int3: the fact that the gathering patriot does not occur is not wrong.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that both the non-Austronesianness and the piggyback occurs is false.; int5 & sent5 -> int6: the guessing Mandelbrot happens.; int6 & sent4 -> int7: the fact that not the convolution but the unfortunate happens is not right.; int7 & sent7 -> hypothesis;
$hypothesis$ = the ramble happens. ; $context$ = sent1: the permit does not occur. sent2: that the skiing does not occur is not false. sent3: that the gathering patriot occurs is prevented by that the skiing does not occur and the scamper does not occur. sent4: if the guessing Mandelbrot happens then the fact that the convolution does not occur but the unfortunateness occurs is not correct. sent5: the fact that the guessing Mandelbrot happens if that that the Austronesianness does not occur and the piggyback occurs is not correct hold is not false. sent6: the gathering patriot occurs. sent7: if that the convolution does not occur and the unfortunateness occurs is not right the fact that the ramble does not occur is correct. sent8: if not the Austronesianness but the piggyback occurs the scamper does not occur. sent9: the fact that the urbanness occurs is true. sent10: that the convolution occurs and the unfortunate happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that not the Austronesianness but the piggyback happens.; sent8 & assump1 -> int1: the scamper does not occur.; int1 & sent2 -> int2: the skiing does not occur and the scamper does not occur.; int2 & sent3 -> int3: the fact that the gathering patriot does not occur is not wrong.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that both the non-Austronesianness and the piggyback occurs is false.; int5 & sent5 -> int6: the guessing Mandelbrot happens.; int6 & sent4 -> int7: the fact that not the convolution but the unfortunate happens is not right.; int7 & sent7 -> hypothesis; __DISPROVED__