the apprehension does not occur.
sent1: the offshoreness is prevented by that the apprehension does not occur and the Linnaeanness does not occur. sent2: the Linnaeanness happens if the mensuralness happens. sent3: if the fact that both the mensuralness and the eurythmy happens is false then the mensuralness does not occur. sent4: the longitudinalness occurs. sent5: that the apprehension happens is prevented by that the Linnaeanness happens and the offshoreness happens. sent6: the fact that both the non-Linnaeanness and the non-offshoreness happens is not correct if the mensuralness does not occur. sent7: the transformation occurs. sent8: if the calycularness does not occur then that the filling and the non-naiveness happens does not hold. sent9: the mensuralness occurs. sent10: if the naiveness does not occur the fact that the calycularness happens and the collocation happens is not true. sent11: the leisure prevents that the tormenting Cryptobranchus does not occur. sent12: if the fact that both the calycularness and the collocation occurs does not hold the calycularness does not occur. sent13: if that both the filling and the eurythmy occurs is not right then the mensuralness does not occur. sent14: that both the mensuralness and the eurythmy occurs does not hold if the fact that the fill does not occur is not false. sent15: if the shove-halfpenny happens the fact that the naming E happens and the collocation does not occur does not hold. sent16: that the transformation occurs prevents that the offshoreness does not occur. sent17: the tormenting snake does not occur. sent18: that both the fill and the eurythmy occurs is wrong if the calycularness does not occur. sent19: if the transformation does not occur then the apprehension occurs.
sent16 & sent7 -> int1: the offshoreness occurs.; sent2 & sent9 -> int2: the Linnaeanness occurs.; int1 & int2 -> int3: the Linnaeanness happens and the offshoreness happens.; int3 & sent5 -> hypothesis;
the apprehension happens.
$hypothesis$ = the apprehension does not occur. ; $context$ = sent1: the offshoreness is prevented by that the apprehension does not occur and the Linnaeanness does not occur. sent2: the Linnaeanness happens if the mensuralness happens. sent3: if the fact that both the mensuralness and the eurythmy happens is false then the mensuralness does not occur. sent4: the longitudinalness occurs. sent5: that the apprehension happens is prevented by that the Linnaeanness happens and the offshoreness happens. sent6: the fact that both the non-Linnaeanness and the non-offshoreness happens is not correct if the mensuralness does not occur. sent7: the transformation occurs. sent8: if the calycularness does not occur then that the filling and the non-naiveness happens does not hold. sent9: the mensuralness occurs. sent10: if the naiveness does not occur the fact that the calycularness happens and the collocation happens is not true. sent11: the leisure prevents that the tormenting Cryptobranchus does not occur. sent12: if the fact that both the calycularness and the collocation occurs does not hold the calycularness does not occur. sent13: if that both the filling and the eurythmy occurs is not right then the mensuralness does not occur. sent14: that both the mensuralness and the eurythmy occurs does not hold if the fact that the fill does not occur is not false. sent15: if the shove-halfpenny happens the fact that the naming E happens and the collocation does not occur does not hold. sent16: that the transformation occurs prevents that the offshoreness does not occur. sent17: the tormenting snake does not occur. sent18: that both the fill and the eurythmy occurs is wrong if the calycularness does not occur. sent19: if the transformation does not occur then the apprehension occurs. ; $proof$ = 
sent16 & sent7 -> int1: the offshoreness occurs.; sent2 & sent9 -> int2: the Linnaeanness occurs.; int1 & int2 -> int3: the Linnaeanness happens and the offshoreness happens.; int3 & sent5 -> hypothesis; __PROVED__