the apery does not occur.
sent1: if the truckling does not occur the fact that the Gilbertianness and the soldier happens is wrong. sent2: that the rulership does not occur results in the skimming INR or that the backing happens or both. sent3: the apery does not occur if that the Gilbertianness happens and the soldiering occurs is incorrect. sent4: that the deducing Pisonia does not occur or the life does not occur or both prevents that the deducing Pisonia occurs. sent5: the fact that the unbarring renegade happens and the deducing Pisonia occurs does not hold. sent6: if the fact that not the unbarring renegade but the deducing Pisonia occurs is not correct the apery occurs. sent7: that the truckling does not occur is not incorrect if the complexness but not the deducing epic happens. sent8: the involucrateness yields that the non-bismuthicness and the collectivization happens. sent9: the recession does not occur and the soldier happens. sent10: that the recession occurs is brought about by the deducing Pisonia. sent11: the rulership does not occur. sent12: that the deducing Pisonia does not occur causes that the deducing rind does not occur and the unbarring renegade does not occur. sent13: that the skimming INR occurs prevents that the involucrateness does not occur. sent14: the deducing Pisonia does not occur and/or the life does not occur if the bismuthicness does not occur.
void -> assump1: Let's assume that the unbarring renegade does not occur and the deducing Pisonia occurs.; assump1 -> int1: the deducing Pisonia occurs.; int1 & sent10 -> int2: the recession happens.; sent9 -> int3: the recession does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the unbarring renegade does not occur but the deducing Pisonia happens is not true.; int5 & sent6 -> hypothesis;
the deducing rind does not occur but the dressage happens.
sent2 & sent11 -> int6: the skimming INR occurs and/or the back occurs.;
$hypothesis$ = the apery does not occur. ; $context$ = sent1: if the truckling does not occur the fact that the Gilbertianness and the soldier happens is wrong. sent2: that the rulership does not occur results in the skimming INR or that the backing happens or both. sent3: the apery does not occur if that the Gilbertianness happens and the soldiering occurs is incorrect. sent4: that the deducing Pisonia does not occur or the life does not occur or both prevents that the deducing Pisonia occurs. sent5: the fact that the unbarring renegade happens and the deducing Pisonia occurs does not hold. sent6: if the fact that not the unbarring renegade but the deducing Pisonia occurs is not correct the apery occurs. sent7: that the truckling does not occur is not incorrect if the complexness but not the deducing epic happens. sent8: the involucrateness yields that the non-bismuthicness and the collectivization happens. sent9: the recession does not occur and the soldier happens. sent10: that the recession occurs is brought about by the deducing Pisonia. sent11: the rulership does not occur. sent12: that the deducing Pisonia does not occur causes that the deducing rind does not occur and the unbarring renegade does not occur. sent13: that the skimming INR occurs prevents that the involucrateness does not occur. sent14: the deducing Pisonia does not occur and/or the life does not occur if the bismuthicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unbarring renegade does not occur and the deducing Pisonia occurs.; assump1 -> int1: the deducing Pisonia occurs.; int1 & sent10 -> int2: the recession happens.; sent9 -> int3: the recession does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the unbarring renegade does not occur but the deducing Pisonia happens is not true.; int5 & sent6 -> hypothesis; __DISPROVED__