the trade occurs.
sent1: if the contorting gale does not occur then not the fitting arsine but the scrotalness happens. sent2: the branch does not occur. sent3: if the fitting tree-frog does not occur then the crossover does not occur. sent4: the thrilling Calypso does not occur. sent5: if the fitting arsine does not occur and the scrotalness does not occur then that the crossover happens is right. sent6: if the bespeaking does not occur then the spitball occurs and the veering occurs. sent7: the bespeaking does not occur if not the judgmentalness but the biologism occurs. sent8: that the strongness occurs is prevented by that not the fitting arsine but the scrotalness happens. sent9: that the trade does not occur is prevented by that the crossover does not occur. sent10: the bedizening antiphon does not occur if the overbid happens but the branching does not occur. sent11: the contorting gale does not occur. sent12: the scrotalness occurs. sent13: if the fact that the veering happens is not wrong then the contorting gale happens. sent14: the fitting tree-frog does not occur if the overbidding does not occur. sent15: the judgmentalness does not occur. sent16: that the trading occurs is prevented by that the branching happens and the overbidding does not occur.
void -> assump1: Let's assume that the overbid occurs.; assump1 & sent2 -> int1: the overbid happens but the branch does not occur.; int1 & sent10 -> int2: the bedizening antiphon does not occur.; sent1 & sent11 -> int3: the fitting arsine does not occur but the scrotalness happens.; sent8 & int3 -> int4: the strongness does not occur.;
the trading does not occur.
$hypothesis$ = the trade occurs. ; $context$ = sent1: if the contorting gale does not occur then not the fitting arsine but the scrotalness happens. sent2: the branch does not occur. sent3: if the fitting tree-frog does not occur then the crossover does not occur. sent4: the thrilling Calypso does not occur. sent5: if the fitting arsine does not occur and the scrotalness does not occur then that the crossover happens is right. sent6: if the bespeaking does not occur then the spitball occurs and the veering occurs. sent7: the bespeaking does not occur if not the judgmentalness but the biologism occurs. sent8: that the strongness occurs is prevented by that not the fitting arsine but the scrotalness happens. sent9: that the trade does not occur is prevented by that the crossover does not occur. sent10: the bedizening antiphon does not occur if the overbid happens but the branching does not occur. sent11: the contorting gale does not occur. sent12: the scrotalness occurs. sent13: if the fact that the veering happens is not wrong then the contorting gale happens. sent14: the fitting tree-frog does not occur if the overbidding does not occur. sent15: the judgmentalness does not occur. sent16: that the trading occurs is prevented by that the branching happens and the overbidding does not occur. ; $proof$ = 
void -> assump1: Let's assume that the overbid occurs.; assump1 & sent2 -> int1: the overbid happens but the branch does not occur.; int1 & sent10 -> int2: the bedizening antiphon does not occur.; sent1 & sent11 -> int3: the fitting arsine does not occur but the scrotalness happens.; sent8 & int3 -> int4: the strongness does not occur.; __UNKNOWN__