the nosing Hexanchidae does not occur.
sent1: the numericness occurs if the point-of-saleness occurs. sent2: if the fun happens the eschatologicalness happens. sent3: that the unresponsiveness occurs leads to that the workflow occurs. sent4: if the fun does not occur that both the receiving enterotoxemia and the numericness occurs does not hold. sent5: if that the numericness happens is right the nosing Hexanchidae occurs. sent6: the workflow happens. sent7: the brush happens if the skimming occurs. sent8: if the point-of-saleness does not occur the trimming does not occur or the CBC occurs or both. sent9: the valuableness occurs. sent10: if the CBC occurs then the point-of-saleness occurs. sent11: the damnation happens if the reciprocation happens. sent12: that the trimming and the CBC happens is not wrong. sent13: that the nosing ashram occurs hold if the athleticness happens. sent14: the typographicness happens. sent15: the meeting thrust occurs. sent16: the bodywork occurs.
sent12 -> int1: the CBC occurs.; int1 & sent10 -> int2: the point-of-saleness occurs.; int2 & sent1 -> int3: the numericness happens.; int3 & sent5 -> hypothesis;
the nosing Hexanchidae does not occur.
$hypothesis$ = the nosing Hexanchidae does not occur. ; $context$ = sent1: the numericness occurs if the point-of-saleness occurs. sent2: if the fun happens the eschatologicalness happens. sent3: that the unresponsiveness occurs leads to that the workflow occurs. sent4: if the fun does not occur that both the receiving enterotoxemia and the numericness occurs does not hold. sent5: if that the numericness happens is right the nosing Hexanchidae occurs. sent6: the workflow happens. sent7: the brush happens if the skimming occurs. sent8: if the point-of-saleness does not occur the trimming does not occur or the CBC occurs or both. sent9: the valuableness occurs. sent10: if the CBC occurs then the point-of-saleness occurs. sent11: the damnation happens if the reciprocation happens. sent12: that the trimming and the CBC happens is not wrong. sent13: that the nosing ashram occurs hold if the athleticness happens. sent14: the typographicness happens. sent15: the meeting thrust occurs. sent16: the bodywork occurs. ; $proof$ = 
sent12 -> int1: the CBC occurs.; int1 & sent10 -> int2: the point-of-saleness occurs.; int2 & sent1 -> int3: the numericness happens.; int3 & sent5 -> hypothesis; __DISPROVED__