the shushing Gomphotherium does not occur.
sent1: that the dunking assignation occurs and the rollover happens results in that the shushing Gomphotherium does not occur. sent2: that not the kibitzing but the rollover occurs is not correct if the disconnecting happens. sent3: the complexness does not occur. sent4: the wantoning happens but the kibitzing does not occur if the narrowedness occurs. sent5: that the kibitzing does not occur and the rollover occurs does not hold. sent6: if the fact that the fritter happens is right then the dunking assignation happens. sent7: the rollover does not occur if that the rollover occurs and the disconnecting happens is wrong. sent8: the fact that the rollover occurs is true if the fact that the fact that the kibitzing does not occur and the rollover does not occur hold is not correct. sent9: the transitiveness does not occur. sent10: that the superscriptness happens is not wrong. sent11: the disconnecting happens. sent12: if that the rollover does not occur hold the dunking assignation but not the transitiveness occurs. sent13: that the rollover happens and the disconnecting happens does not hold if the kibitzing does not occur. sent14: if the doweling does not occur then both the basics and the isthmianness happens. sent15: the basicsness prevents the non-narrowedness. sent16: that the kibitzing does not occur and the rollover does not occur is not right if the disconnecting occurs.
sent16 & sent11 -> int1: the fact that the kibitzing does not occur and the rollover does not occur does not hold.; sent8 & int1 -> int2: the rollover occurs.;
the shushing Gomphotherium happens.
$hypothesis$ = the shushing Gomphotherium does not occur. ; $context$ = sent1: that the dunking assignation occurs and the rollover happens results in that the shushing Gomphotherium does not occur. sent2: that not the kibitzing but the rollover occurs is not correct if the disconnecting happens. sent3: the complexness does not occur. sent4: the wantoning happens but the kibitzing does not occur if the narrowedness occurs. sent5: that the kibitzing does not occur and the rollover occurs does not hold. sent6: if the fact that the fritter happens is right then the dunking assignation happens. sent7: the rollover does not occur if that the rollover occurs and the disconnecting happens is wrong. sent8: the fact that the rollover occurs is true if the fact that the fact that the kibitzing does not occur and the rollover does not occur hold is not correct. sent9: the transitiveness does not occur. sent10: that the superscriptness happens is not wrong. sent11: the disconnecting happens. sent12: if that the rollover does not occur hold the dunking assignation but not the transitiveness occurs. sent13: that the rollover happens and the disconnecting happens does not hold if the kibitzing does not occur. sent14: if the doweling does not occur then both the basics and the isthmianness happens. sent15: the basicsness prevents the non-narrowedness. sent16: that the kibitzing does not occur and the rollover does not occur is not right if the disconnecting occurs. ; $proof$ = 
sent16 & sent11 -> int1: the fact that the kibitzing does not occur and the rollover does not occur does not hold.; sent8 & int1 -> int2: the rollover occurs.; __UNKNOWN__