the lasting occurs.
sent1: if that the fact that the neglecting crookedness does not occur but the neglecting Spitsbergen happens is not true is not wrong then the neglecting Spitsbergen does not occur. sent2: either the acropetalness does not occur or the Justice does not occur or both. sent3: the floating happens. sent4: the roboticsness does not occur. sent5: the lastingness is prevented by that the photography does not occur. sent6: the hyperbolicness occurs. sent7: that the transpolarness happens prevents the representation. sent8: if the fact that the photography does not occur is not wrong then both the titration and the diamagneticness happens. sent9: if the fact that the priming happens and the pleading happens is not correct then the priming does not occur. sent10: if the priming does not occur the fact that the reversal occurs and the photography happens is not right. sent11: that both the priming and the pleading happens is not true if the neglecting Spitsbergen does not occur. sent12: the reversal is prevented by the titration. sent13: either the photography occurs or the reversal does not occur or both. sent14: the pectoralness occurs and the titration occurs. sent15: the subdivision does not occur. sent16: that that the neglecting crookedness does not occur and the neglecting Spitsbergen occurs does not hold is correct if the sulphuricness does not occur. sent17: the non-lastingness is triggered by that the photography does not occur or that the reversal does not occur or both. sent18: if the titration does not occur both the pectoral and the lasting happens.
sent14 -> int1: the titration happens.; int1 & sent12 -> int2: the reversal does not occur.; int2 -> int3: the photography does not occur or the reversal does not occur or both.; int3 & sent17 -> hypothesis;
the diamagneticness and the TELINT occurs.
$hypothesis$ = the lasting occurs. ; $context$ = sent1: if that the fact that the neglecting crookedness does not occur but the neglecting Spitsbergen happens is not true is not wrong then the neglecting Spitsbergen does not occur. sent2: either the acropetalness does not occur or the Justice does not occur or both. sent3: the floating happens. sent4: the roboticsness does not occur. sent5: the lastingness is prevented by that the photography does not occur. sent6: the hyperbolicness occurs. sent7: that the transpolarness happens prevents the representation. sent8: if the fact that the photography does not occur is not wrong then both the titration and the diamagneticness happens. sent9: if the fact that the priming happens and the pleading happens is not correct then the priming does not occur. sent10: if the priming does not occur the fact that the reversal occurs and the photography happens is not right. sent11: that both the priming and the pleading happens is not true if the neglecting Spitsbergen does not occur. sent12: the reversal is prevented by the titration. sent13: either the photography occurs or the reversal does not occur or both. sent14: the pectoralness occurs and the titration occurs. sent15: the subdivision does not occur. sent16: that that the neglecting crookedness does not occur and the neglecting Spitsbergen occurs does not hold is correct if the sulphuricness does not occur. sent17: the non-lastingness is triggered by that the photography does not occur or that the reversal does not occur or both. sent18: if the titration does not occur both the pectoral and the lasting happens. ; $proof$ = 
sent14 -> int1: the titration happens.; int1 & sent12 -> int2: the reversal does not occur.; int2 -> int3: the photography does not occur or the reversal does not occur or both.; int3 & sent17 -> hypothesis; __DISPROVED__