the fighting does not occur.
sent1: that the underquoting tarpan happens causes that the underquoting greengage does not occur or the uricosuricness happens or both. sent2: if the emaciating does not occur then the uricosuricness does not occur. sent3: if the underquoting greengage happens the fighting occurs. sent4: that the few does not occur is prevented by that the dithyrambicness happens. sent5: the Siouanness happens if the fact that the frivolity does not occur and the macrencephalicness does not occur is false. sent6: that both the dimensionalness and the emaciating happens is false. sent7: the landmark happens. sent8: that if the battering does not occur then the ballup happens is not incorrect. sent9: if the Siouan happens the underquoting tarpan occurs. sent10: if that the dimensionalness and the emaciating occurs is wrong the uricosuricness does not occur. sent11: the milchness happens. sent12: that the fight occurs is prevented by that the underquoting greengage does not occur and/or that the uricosuricness occurs. sent13: the underquoting greengage happens if the uricosuricness does not occur.
sent10 & sent6 -> int1: the uricosuricness does not occur.; sent13 & int1 -> int2: the underquoting greengage happens.; sent3 & int2 -> hypothesis;
the fight does not occur.
$hypothesis$ = the fighting does not occur. ; $context$ = sent1: that the underquoting tarpan happens causes that the underquoting greengage does not occur or the uricosuricness happens or both. sent2: if the emaciating does not occur then the uricosuricness does not occur. sent3: if the underquoting greengage happens the fighting occurs. sent4: that the few does not occur is prevented by that the dithyrambicness happens. sent5: the Siouanness happens if the fact that the frivolity does not occur and the macrencephalicness does not occur is false. sent6: that both the dimensionalness and the emaciating happens is false. sent7: the landmark happens. sent8: that if the battering does not occur then the ballup happens is not incorrect. sent9: if the Siouan happens the underquoting tarpan occurs. sent10: if that the dimensionalness and the emaciating occurs is wrong the uricosuricness does not occur. sent11: the milchness happens. sent12: that the fight occurs is prevented by that the underquoting greengage does not occur and/or that the uricosuricness occurs. sent13: the underquoting greengage happens if the uricosuricness does not occur. ; $proof$ = 
sent10 & sent6 -> int1: the uricosuricness does not occur.; sent13 & int1 -> int2: the underquoting greengage happens.; sent3 & int2 -> hypothesis; __DISPROVED__