the endodonticsness happens.
sent1: that the irreparableness and the reconvening happens does not hold if that the unrealness does not occur hold. sent2: the impeding displacement occurs if that the synopticness but not the hurrah happens is not right. sent3: the nonmetallicness does not occur if the refining Marseillaise occurs. sent4: the fact that the synopticness happens and the hurrah does not occur does not hold if the chandelling happens. sent5: the refining Marseillaise happens and/or the thumping does not occur. sent6: if that the thump does not occur but the hammering occurs is wrong then the hammering does not occur. sent7: if the thumping does not occur then the fact that the nonmetallicness does not occur is right. sent8: if the impeding displacement occurs the unrealness does not occur. sent9: that the endodonticsness does not occur and the nonmetallicness does not occur prevents that the refining Marseillaise occurs. sent10: if the refining Marseillaise does not occur then the fact that not the thumping but the hammer happens is false. sent11: if the reconvening does not occur then the untraceableness occurs and the refining sard happens. sent12: if the fact that the reparableness does not occur and the reconvening occurs does not hold then the reconvening does not occur. sent13: if that the nonmetallicness does not occur is right the endodonticsness and the untraceableness occurs.
sent5 & sent3 & sent7 -> int1: the nonmetallicness does not occur.; sent13 & int1 -> int2: both the endodonticsness and the untraceableness occurs.; int2 -> hypothesis;
the refining diesel happens and/or the hammering does not occur.
$hypothesis$ = the endodonticsness happens. ; $context$ = sent1: that the irreparableness and the reconvening happens does not hold if that the unrealness does not occur hold. sent2: the impeding displacement occurs if that the synopticness but not the hurrah happens is not right. sent3: the nonmetallicness does not occur if the refining Marseillaise occurs. sent4: the fact that the synopticness happens and the hurrah does not occur does not hold if the chandelling happens. sent5: the refining Marseillaise happens and/or the thumping does not occur. sent6: if that the thump does not occur but the hammering occurs is wrong then the hammering does not occur. sent7: if the thumping does not occur then the fact that the nonmetallicness does not occur is right. sent8: if the impeding displacement occurs the unrealness does not occur. sent9: that the endodonticsness does not occur and the nonmetallicness does not occur prevents that the refining Marseillaise occurs. sent10: if the refining Marseillaise does not occur then the fact that not the thumping but the hammer happens is false. sent11: if the reconvening does not occur then the untraceableness occurs and the refining sard happens. sent12: if the fact that the reparableness does not occur and the reconvening occurs does not hold then the reconvening does not occur. sent13: if that the nonmetallicness does not occur is right the endodonticsness and the untraceableness occurs. ; $proof$ = 
sent5 & sent3 & sent7 -> int1: the nonmetallicness does not occur.; sent13 & int1 -> int2: both the endodonticsness and the untraceableness occurs.; int2 -> hypothesis; __PROVED__