the fact that the presentation but not the paring happens does not hold.
sent1: if the modification occurs then the fact that the presentation occurs is correct. sent2: if the honoring does not occur the modification and the capitalizing Watts occurs. sent3: if the copularness does not occur then the ostracism occurs. sent4: that the paring and the acidimetricness occurs prevents the hypertensive. sent5: the copularness does not occur and/or the bimolecularness does not occur. sent6: that the honoring does not occur is brought about by that the lick occurs. sent7: the fact that the acidimetricness occurs is true. sent8: if that the fusillade happens and the overrunning centrifugation happens hold the ostracism does not occur. sent9: the fusillading and the overrunning centrifugation happens if the hypertensiveness does not occur. sent10: the licking happens and/or the capitalizing glossarist does not occur. sent11: if the fact that the bimolecularness does not occur is not false then the ostracism happens. sent12: if the capitalizing glossarist does not occur then the honoring does not occur.
void -> assump1: Let's assume that the fact that the paring happens is not incorrect.; assump1 & sent7 -> int1: that the paring occurs and the acidimetricness happens is not incorrect.; int1 & sent4 -> int2: the hypertensiveness does not occur.; int2 & sent9 -> int3: both the fusillade and the overrunning centrifugation happens.; int3 & sent8 -> int4: the ostracism does not occur.; sent5 & sent3 & sent11 -> int5: the ostracism happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the paring does not occur.; sent10 & sent6 & sent12 -> int8: the honoring does not occur.; sent2 & int8 -> int9: both the modification and the capitalizing Watts happens.; int9 -> int10: the fact that the modification occurs hold.; sent1 & int10 -> int11: the presentation happens.; int7 & int11 -> hypothesis;
$hypothesis$ = the fact that the presentation but not the paring happens does not hold. ; $context$ = sent1: if the modification occurs then the fact that the presentation occurs is correct. sent2: if the honoring does not occur the modification and the capitalizing Watts occurs. sent3: if the copularness does not occur then the ostracism occurs. sent4: that the paring and the acidimetricness occurs prevents the hypertensive. sent5: the copularness does not occur and/or the bimolecularness does not occur. sent6: that the honoring does not occur is brought about by that the lick occurs. sent7: the fact that the acidimetricness occurs is true. sent8: if that the fusillade happens and the overrunning centrifugation happens hold the ostracism does not occur. sent9: the fusillading and the overrunning centrifugation happens if the hypertensiveness does not occur. sent10: the licking happens and/or the capitalizing glossarist does not occur. sent11: if the fact that the bimolecularness does not occur is not false then the ostracism happens. sent12: if the capitalizing glossarist does not occur then the honoring does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the paring happens is not incorrect.; assump1 & sent7 -> int1: that the paring occurs and the acidimetricness happens is not incorrect.; int1 & sent4 -> int2: the hypertensiveness does not occur.; int2 & sent9 -> int3: both the fusillade and the overrunning centrifugation happens.; int3 & sent8 -> int4: the ostracism does not occur.; sent5 & sent3 & sent11 -> int5: the ostracism happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the paring does not occur.; sent10 & sent6 & sent12 -> int8: the honoring does not occur.; sent2 & int8 -> int9: both the modification and the capitalizing Watts happens.; int9 -> int10: the fact that the modification occurs hold.; sent1 & int10 -> int11: the presentation happens.; int7 & int11 -> hypothesis; __DISPROVED__