both the racing and the chicane happens.
sent1: the chicane is caused by the submissiveness. sent2: that the desexualizing ounce occurs is right if the urinating happens. sent3: if the desexualizing ounce happens that the witnessing happens is not false. sent4: the submissiveness happens. sent5: the Arminian does not occur. sent6: the analogue happens. sent7: the urticating decapitation does not occur if the tailback occurs or the desexualizing indexer happens or both. sent8: the fallout yields that the desexualizing indexer occurs. sent9: that both the racing and the analogueness occurs is not wrong. sent10: if the terrestrialness does not occur then the chicane does not occur and the submissiveness does not occur. sent11: that the terrestrialness happens is prevented by that both the sameness and the witnessing occurs. sent12: if the urticating prude happens then the sameness occurs. sent13: that the racing does not occur and the analogueness does not occur causes that the looking happens. sent14: the hydricness happens. sent15: if that the Arminian does not occur hold then both the fallout and the urticating swamp occurs. sent16: the urticating prude happens if the urticating decapitation does not occur.
sent9 -> int1: the racing happens.; sent1 & sent4 -> int2: the chicane occurs.; int1 & int2 -> hypothesis;
the looking happens.
sent15 & sent5 -> int3: both the fallout and the urticating swamp happens.; int3 -> int4: the fallout happens.; sent8 & int4 -> int5: the desexualizing indexer occurs.; int5 -> int6: the tailback and/or the desexualizing indexer occurs.; sent7 & int6 -> int7: the fact that the urticating decapitation occurs does not hold.; sent16 & int7 -> int8: the urticating prude occurs.; sent12 & int8 -> int9: the sameness occurs.;
$hypothesis$ = both the racing and the chicane happens. ; $context$ = sent1: the chicane is caused by the submissiveness. sent2: that the desexualizing ounce occurs is right if the urinating happens. sent3: if the desexualizing ounce happens that the witnessing happens is not false. sent4: the submissiveness happens. sent5: the Arminian does not occur. sent6: the analogue happens. sent7: the urticating decapitation does not occur if the tailback occurs or the desexualizing indexer happens or both. sent8: the fallout yields that the desexualizing indexer occurs. sent9: that both the racing and the analogueness occurs is not wrong. sent10: if the terrestrialness does not occur then the chicane does not occur and the submissiveness does not occur. sent11: that the terrestrialness happens is prevented by that both the sameness and the witnessing occurs. sent12: if the urticating prude happens then the sameness occurs. sent13: that the racing does not occur and the analogueness does not occur causes that the looking happens. sent14: the hydricness happens. sent15: if that the Arminian does not occur hold then both the fallout and the urticating swamp occurs. sent16: the urticating prude happens if the urticating decapitation does not occur. ; $proof$ = 
sent9 -> int1: the racing happens.; sent1 & sent4 -> int2: the chicane occurs.; int1 & int2 -> hypothesis; __PROVED__