the warble occurs and the antrorseness happens.
sent1: the difference is brought about by that the irritating does not occur and the Mercurialness does not occur. sent2: the warble and the Court happens. sent3: the Mercurialness leads to that the amicableness happens. sent4: the angling sixty does not occur. sent5: not the counterclaim but the reddening spoonerism occurs. sent6: if the difference happens the dendriticness occurs. sent7: that the antrorseness occurs is true if the dendriticness happens. sent8: the penumbralness leads to the strike. sent9: that the uplandness does not occur is not incorrect. sent10: the fact that both the crucifying merman and the anaphasicness occurs is false. sent11: the counterclaiming does not occur. sent12: if the uplandness does not occur then that the crucifying merman does not occur but the anaphasicness occurs is not true. sent13: the amicableness does not occur if the counterclaiming does not occur and the reddening spoonerism occurs.
void -> assump1: Let's assume that the Mercurialness occurs.; sent3 & assump1 -> int1: the amicableness happens.; sent13 & sent5 -> int2: the amicableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Mercurialness does not occur.; sent12 & sent9 -> int5: that the crucifying merman does not occur but the anaphasicness occurs does not hold.; sent2 -> int6: the warbling happens.;
$hypothesis$ = the warble occurs and the antrorseness happens. ; $context$ = sent1: the difference is brought about by that the irritating does not occur and the Mercurialness does not occur. sent2: the warble and the Court happens. sent3: the Mercurialness leads to that the amicableness happens. sent4: the angling sixty does not occur. sent5: not the counterclaim but the reddening spoonerism occurs. sent6: if the difference happens the dendriticness occurs. sent7: that the antrorseness occurs is true if the dendriticness happens. sent8: the penumbralness leads to the strike. sent9: that the uplandness does not occur is not incorrect. sent10: the fact that both the crucifying merman and the anaphasicness occurs is false. sent11: the counterclaiming does not occur. sent12: if the uplandness does not occur then that the crucifying merman does not occur but the anaphasicness occurs is not true. sent13: the amicableness does not occur if the counterclaiming does not occur and the reddening spoonerism occurs. ; $proof$ = 
void -> assump1: Let's assume that the Mercurialness occurs.; sent3 & assump1 -> int1: the amicableness happens.; sent13 & sent5 -> int2: the amicableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Mercurialness does not occur.; sent12 & sent9 -> int5: that the crucifying merman does not occur but the anaphasicness occurs does not hold.; sent2 -> int6: the warbling happens.; __UNKNOWN__