both the upping and the countercharge happens.
sent1: the rollback but not the cacodylicness occurs if the ogling dangleberry happens. sent2: the grasping Skagit happens if the grasping pocketcomb does not occur and the oligarchicness does not occur. sent3: if the ogling neglecter does not occur then the upness happens and the pushover happens. sent4: the grasping Skagit does not occur if both the algometry and the non-amblyopicness happens. sent5: if that the pushover does not occur is right then that both the upping and the countercharge occurs does not hold. sent6: the monophonicness occurs. sent7: the grasping pocketcomb does not occur and the oligarchicness does not occur. sent8: that the algometry occurs and the amblyopicness does not occur is triggered by the non-demoticness. sent9: the demoticness does not occur if that both the loyalness and the demoticness happens does not hold. sent10: the algometry occurs. sent11: the ogling neglecter is prevented by that the monophonicness and the rollback happens. sent12: the grasping Skagit results in the archiepiscopalness. sent13: the algometry does not occur if the archiepiscopalness and the pushover happens.
sent2 & sent7 -> int1: that the fact that the grasping Skagit does not occur is not wrong is not right.; int1 & sent12 -> int2: the archiepiscopalness happens.; void -> assump1: Let's assume that the pushover occurs.; int2 & assump1 -> int3: both the archiepiscopalness and the pushover happens.; int3 & sent13 -> int4: the algometry does not occur.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the pushover does not occur is not false.; int6 & sent5 -> hypothesis;
the upping and the countercharge happens.
$hypothesis$ = both the upping and the countercharge happens. ; $context$ = sent1: the rollback but not the cacodylicness occurs if the ogling dangleberry happens. sent2: the grasping Skagit happens if the grasping pocketcomb does not occur and the oligarchicness does not occur. sent3: if the ogling neglecter does not occur then the upness happens and the pushover happens. sent4: the grasping Skagit does not occur if both the algometry and the non-amblyopicness happens. sent5: if that the pushover does not occur is right then that both the upping and the countercharge occurs does not hold. sent6: the monophonicness occurs. sent7: the grasping pocketcomb does not occur and the oligarchicness does not occur. sent8: that the algometry occurs and the amblyopicness does not occur is triggered by the non-demoticness. sent9: the demoticness does not occur if that both the loyalness and the demoticness happens does not hold. sent10: the algometry occurs. sent11: the ogling neglecter is prevented by that the monophonicness and the rollback happens. sent12: the grasping Skagit results in the archiepiscopalness. sent13: the algometry does not occur if the archiepiscopalness and the pushover happens. ; $proof$ = 
sent2 & sent7 -> int1: that the fact that the grasping Skagit does not occur is not wrong is not right.; int1 & sent12 -> int2: the archiepiscopalness happens.; void -> assump1: Let's assume that the pushover occurs.; int2 & assump1 -> int3: both the archiepiscopalness and the pushover happens.; int3 & sent13 -> int4: the algometry does not occur.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the pushover does not occur is not false.; int6 & sent5 -> hypothesis; __DISPROVED__