the sailing-race does not occur.
sent1: the unresentfulness occurs. sent2: the sailing-race does not occur and the saunter happens if the unresentfulness does not occur. sent3: the saunter happens and the unresentfulness happens. sent4: if the spermousness happens the glyptography does not occur and the mystic does not occur. sent5: if the deserving Afrocarpus does not occur the spermousness and the repossessing happens. sent6: the sailing-race occurs if the saunter occurs. sent7: if the strangulating moot does not occur then the deserving Afrocarpus does not occur and the diurnalness does not occur. sent8: that both the down-bow and the saunter happens is brought about by the resentfulness. sent9: if the resoluteness does not occur then the strangulating moot does not occur. sent10: that the mysticness does not occur brings about that the fastball happens or the resisting televangelism or both.
sent3 -> int1: the saunter happens.; sent6 & int1 -> hypothesis;
the down-bow occurs.
$hypothesis$ = the sailing-race does not occur. ; $context$ = sent1: the unresentfulness occurs. sent2: the sailing-race does not occur and the saunter happens if the unresentfulness does not occur. sent3: the saunter happens and the unresentfulness happens. sent4: if the spermousness happens the glyptography does not occur and the mystic does not occur. sent5: if the deserving Afrocarpus does not occur the spermousness and the repossessing happens. sent6: the sailing-race occurs if the saunter occurs. sent7: if the strangulating moot does not occur then the deserving Afrocarpus does not occur and the diurnalness does not occur. sent8: that both the down-bow and the saunter happens is brought about by the resentfulness. sent9: if the resoluteness does not occur then the strangulating moot does not occur. sent10: that the mysticness does not occur brings about that the fastball happens or the resisting televangelism or both. ; $proof$ = 
sent3 -> int1: the saunter happens.; sent6 & int1 -> hypothesis; __DISPROVED__