the toss does not occur.
sent1: the jumpstart happens if the blastemalness happens. sent2: the toss occurs and the sandblast does not occur if the reshipment happens. sent3: the fact that the embrowning cardinalfish results in that the toothlessness does not occur and the move does not occur hold. sent4: the surveying happens and/or the burglary occurs. sent5: if either the undramaticness happens or the sandblasting occurs or both the tossing does not occur. sent6: that the embrowning cardinalfish does not occur is prevented by the stowing tickling. sent7: the toss does not occur if the undramaticness occurs. sent8: the stowing somersault does not occur. sent9: the blastemalness happens if that the fact that the rummaging does not occur and the blastemalness does not occur is not true is correct. sent10: if the galloping happens that the rummage does not occur and the blastemalness does not occur is false. sent11: the stowing tickling and the prefiguring occurs if the fact that the astrogating happens is incorrect. sent12: the astrogating does not occur and the infelicitousness does not occur if the jumpstart occurs. sent13: that the conforming does not occur causes that the sandblast happens or the reshipment occurs or both. sent14: the sandblast occurs. sent15: the galloping and the determination occurs. sent16: that the tossing happens is caused by that the undramaticness occurs. sent17: if the toothlessness does not occur then not the conforming but the jactitation happens.
sent14 -> int1: the undramaticness happens or the sandblast happens or both.; sent5 & int1 -> hypothesis;
the toss happens.
sent15 -> int2: the gallop occurs.; sent10 & int2 -> int3: the fact that the rummage does not occur and the blastemalness does not occur is incorrect.; sent9 & int3 -> int4: the blastemalness occurs.; sent1 & int4 -> int5: the jumpstart occurs.; sent12 & int5 -> int6: the astrogating does not occur and the infelicitousness does not occur.; int6 -> int7: the astrogating does not occur.; sent11 & int7 -> int8: both the stowing tickling and the prefiguring occurs.; int8 -> int9: the stowing tickling occurs.; sent6 & int9 -> int10: the embrowning cardinalfish happens.; sent3 & int10 -> int11: the toothlessness does not occur and the moving does not occur.; int11 -> int12: the fact that the toothlessness does not occur is true.; sent17 & int12 -> int13: the conforming does not occur and the jactitation happens.; int13 -> int14: the fact that the conforming does not occur is true.; sent13 & int14 -> int15: the sandblast or the reshipment or both occurs.;
$hypothesis$ = the toss does not occur. ; $context$ = sent1: the jumpstart happens if the blastemalness happens. sent2: the toss occurs and the sandblast does not occur if the reshipment happens. sent3: the fact that the embrowning cardinalfish results in that the toothlessness does not occur and the move does not occur hold. sent4: the surveying happens and/or the burglary occurs. sent5: if either the undramaticness happens or the sandblasting occurs or both the tossing does not occur. sent6: that the embrowning cardinalfish does not occur is prevented by the stowing tickling. sent7: the toss does not occur if the undramaticness occurs. sent8: the stowing somersault does not occur. sent9: the blastemalness happens if that the fact that the rummaging does not occur and the blastemalness does not occur is not true is correct. sent10: if the galloping happens that the rummage does not occur and the blastemalness does not occur is false. sent11: the stowing tickling and the prefiguring occurs if the fact that the astrogating happens is incorrect. sent12: the astrogating does not occur and the infelicitousness does not occur if the jumpstart occurs. sent13: that the conforming does not occur causes that the sandblast happens or the reshipment occurs or both. sent14: the sandblast occurs. sent15: the galloping and the determination occurs. sent16: that the tossing happens is caused by that the undramaticness occurs. sent17: if the toothlessness does not occur then not the conforming but the jactitation happens. ; $proof$ = 
sent14 -> int1: the undramaticness happens or the sandblast happens or both.; sent5 & int1 -> hypothesis; __PROVED__