the necessariness does not occur.
sent1: if the fact that the dispensation does not occur and the pronation does not occur is wrong then the necessariness does not occur. sent2: that the dispensation does not occur but the pronation happens is not true. sent3: the impinging Lazarus occurs. sent4: that the bureaucraticness happens and the lamination does not occur does not hold. sent5: if the impinging Lazarus occurs the fact that the dispensation does not occur and the pronation does not occur is wrong. sent6: the fact that the dispensation does not occur but the pronation occurs is not true if the impinging Lazarus occurs. sent7: if that the lobbyism does not occur but the impinging Dekker happens is wrong the fact that the repossessing does not occur is right. sent8: the fact that the decrepitation does not occur hold. sent9: if the repossessing does not occur the impinging Lazarus and the necessariness happens. sent10: the necessariness is prevented by the pronation.
sent5 & sent3 -> int1: that the dispensation does not occur and the pronation does not occur is incorrect.; sent1 & int1 -> hypothesis;
the necessariness occurs.
$hypothesis$ = the necessariness does not occur. ; $context$ = sent1: if the fact that the dispensation does not occur and the pronation does not occur is wrong then the necessariness does not occur. sent2: that the dispensation does not occur but the pronation happens is not true. sent3: the impinging Lazarus occurs. sent4: that the bureaucraticness happens and the lamination does not occur does not hold. sent5: if the impinging Lazarus occurs the fact that the dispensation does not occur and the pronation does not occur is wrong. sent6: the fact that the dispensation does not occur but the pronation occurs is not true if the impinging Lazarus occurs. sent7: if that the lobbyism does not occur but the impinging Dekker happens is wrong the fact that the repossessing does not occur is right. sent8: the fact that the decrepitation does not occur hold. sent9: if the repossessing does not occur the impinging Lazarus and the necessariness happens. sent10: the necessariness is prevented by the pronation. ; $proof$ = 
sent5 & sent3 -> int1: that the dispensation does not occur and the pronation does not occur is incorrect.; sent1 & int1 -> hypothesis; __PROVED__