that the resisting reversal occurs if the lockout occurs is incorrect.
sent1: if the politicsness happens then the nonwashableness occurs. sent2: if the resisting baloney happens then the resisting declension occurs. sent3: that the non-politicsness and the lockout happens causes that the ascosporicness happens. sent4: the binocularness occurs. sent5: the vocation does not occur. sent6: that the dichotomizing occurs prevents that the deserving gamelan does not occur. sent7: not the prick but the implacableness happens. sent8: the fact that the resisting reversal happens hold if the ascosporicness happens. sent9: the pulverization occurs. sent10: the stall does not occur if the Protestantness happens. sent11: the nonwashableness does not occur if the binocularness occurs.
void -> assump2: Let's assume that the politicsness happens.; sent1 & assump2 -> int1: the nonwashableness happens.; sent11 & sent4 -> int2: the nonwashableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the politicsness does not occur is right.; void -> assump1: Let's assume that the lockout occurs.; int4 & assump1 -> int5: the non-politicsness and the lockout occurs.; int5 & sent3 -> int6: the ascosporicness happens.; int6 & sent8 -> int7: the resisting reversal happens.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the resisting reversal occurs if the lockout occurs is incorrect. ; $context$ = sent1: if the politicsness happens then the nonwashableness occurs. sent2: if the resisting baloney happens then the resisting declension occurs. sent3: that the non-politicsness and the lockout happens causes that the ascosporicness happens. sent4: the binocularness occurs. sent5: the vocation does not occur. sent6: that the dichotomizing occurs prevents that the deserving gamelan does not occur. sent7: not the prick but the implacableness happens. sent8: the fact that the resisting reversal happens hold if the ascosporicness happens. sent9: the pulverization occurs. sent10: the stall does not occur if the Protestantness happens. sent11: the nonwashableness does not occur if the binocularness occurs. ; $proof$ = 
void -> assump2: Let's assume that the politicsness happens.; sent1 & assump2 -> int1: the nonwashableness happens.; sent11 & sent4 -> int2: the nonwashableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the politicsness does not occur is right.; void -> assump1: Let's assume that the lockout occurs.; int4 & assump1 -> int5: the non-politicsness and the lockout occurs.; int5 & sent3 -> int6: the ascosporicness happens.; int6 & sent8 -> int7: the resisting reversal happens.; [assump1] & int7 -> hypothesis; __DISPROVED__