the inducing haplosporidian happens and the upheaval happens.
sent1: if that the grating riff does not occur is not incorrect both the undercutting feeling and the hypotonicity occurs. sent2: that the grating grabber does not occur is correct. sent3: the providence occurs. sent4: the studding occurs. sent5: the haemophilicness does not occur. sent6: if the agonisticness does not occur the hypotonicity does not occur. sent7: the foulness happens. sent8: if that the inadmissibleness happens and the unplayfulness occurs is correct then the agonisticness does not occur. sent9: the inducing haplosporidian happens if the fouling and the non-unplayfulness happens. sent10: the inviting does not occur. sent11: the supernaturalistness occurs and the externalization happens. sent12: if the inadmissibleness does not occur that the inducing haplosporidian and the upheaval occurs is incorrect. sent13: the studding leads to the upheaval. sent14: if the accurateness does not occur then the trivalentness does not occur. sent15: the inadmissibleness occurs. sent16: that the grating riff does not occur is not false. sent17: both the joylessness and the leadership happens. sent18: the posing happens.
void -> assump1: Let's assume that the unplayfulness occurs.; sent15 & assump1 -> int1: the inadmissibleness and the unplayfulness happens.; int1 & sent8 -> int2: that the agonisticness does not occur is right.; int2 & sent6 -> int3: the hypotonicity does not occur.; sent1 & sent16 -> int4: the undercutting feeling occurs and the hypotonicity happens.; int4 -> int5: the hypotonicity happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the unplayfulness does not occur.; int7 & sent7 -> int8: the fouling but not the unplayfulness occurs.; int8 & sent9 -> int9: the inducing haplosporidian occurs.; sent13 & sent4 -> int10: the upheaval occurs.; int9 & int10 -> hypothesis;
the fact that the inducing haplosporidian happens and the upheaval occurs does not hold.
$hypothesis$ = the inducing haplosporidian happens and the upheaval happens. ; $context$ = sent1: if that the grating riff does not occur is not incorrect both the undercutting feeling and the hypotonicity occurs. sent2: that the grating grabber does not occur is correct. sent3: the providence occurs. sent4: the studding occurs. sent5: the haemophilicness does not occur. sent6: if the agonisticness does not occur the hypotonicity does not occur. sent7: the foulness happens. sent8: if that the inadmissibleness happens and the unplayfulness occurs is correct then the agonisticness does not occur. sent9: the inducing haplosporidian happens if the fouling and the non-unplayfulness happens. sent10: the inviting does not occur. sent11: the supernaturalistness occurs and the externalization happens. sent12: if the inadmissibleness does not occur that the inducing haplosporidian and the upheaval occurs is incorrect. sent13: the studding leads to the upheaval. sent14: if the accurateness does not occur then the trivalentness does not occur. sent15: the inadmissibleness occurs. sent16: that the grating riff does not occur is not false. sent17: both the joylessness and the leadership happens. sent18: the posing happens. ; $proof$ = 
void -> assump1: Let's assume that the unplayfulness occurs.; sent15 & assump1 -> int1: the inadmissibleness and the unplayfulness happens.; int1 & sent8 -> int2: that the agonisticness does not occur is right.; int2 & sent6 -> int3: the hypotonicity does not occur.; sent1 & sent16 -> int4: the undercutting feeling occurs and the hypotonicity happens.; int4 -> int5: the hypotonicity happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the unplayfulness does not occur.; int7 & sent7 -> int8: the fouling but not the unplayfulness occurs.; int8 & sent9 -> int9: the inducing haplosporidian occurs.; sent13 & sent4 -> int10: the upheaval occurs.; int9 & int10 -> hypothesis; __PROVED__