that that the damaging lampblack happens results in that the makeshift occurs does not hold.
sent1: if the lumbering and/or the oblique happens the damaging lampblack happens. sent2: the obliqueness does not occur and the damaging lampblack does not occur if the baas does not occur. sent3: that the damaging lampblack does not occur is brought about by that the lumbering happens or that the obliqueness happens or both. sent4: that the lumbering does not occur and/or that the oblique occurs yields the non-archaeologicalness. sent5: the fact that the baas but not the mammothermography happens is not true if the oblique does not occur. sent6: that the obliqueness does not occur and the damaging lampblack does not occur leads to that the lumbering does not occur. sent7: the damaging lampblack does not occur if the lumbering occurs. sent8: if the damaging warhorse occurs and the damaging mamey occurs then the makeshift does not occur. sent9: that the salvaging happens is triggered by the bethinking Norfolk. sent10: the discrepancy happens. sent11: the avionicness happens. sent12: that the sheltering does not occur is true. sent13: the factory-madeness happens. sent14: the makeshift happens if the fact that the baas but not the mammothermography occurs is not true. sent15: the president does not occur if the lumbering does not occur. sent16: that the damaging warhorse and the outdoorness happens is brought about by that the overrunning cynicism does not occur. sent17: if the baas does not occur then the makeshift occurs.
void -> assump2: Let's assume that the fact that the damaging lampblack happens is not wrong.; void -> assump1: Let's assume that the oblique occurs.; assump1 -> int1: either the lumbering or the obliqueness or both occurs.; sent3 & int1 -> int2: the damaging lampblack does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the obliqueness does not occur is not incorrect.; sent5 & int4 -> int5: the fact that the baas happens and the mammothermography does not occur is not right.; sent14 & int5 -> int6: the makeshift occurs.; [assump2] & int6 -> hypothesis;
that the president does not occur is not wrong.
$hypothesis$ = that that the damaging lampblack happens results in that the makeshift occurs does not hold. ; $context$ = sent1: if the lumbering and/or the oblique happens the damaging lampblack happens. sent2: the obliqueness does not occur and the damaging lampblack does not occur if the baas does not occur. sent3: that the damaging lampblack does not occur is brought about by that the lumbering happens or that the obliqueness happens or both. sent4: that the lumbering does not occur and/or that the oblique occurs yields the non-archaeologicalness. sent5: the fact that the baas but not the mammothermography happens is not true if the oblique does not occur. sent6: that the obliqueness does not occur and the damaging lampblack does not occur leads to that the lumbering does not occur. sent7: the damaging lampblack does not occur if the lumbering occurs. sent8: if the damaging warhorse occurs and the damaging mamey occurs then the makeshift does not occur. sent9: that the salvaging happens is triggered by the bethinking Norfolk. sent10: the discrepancy happens. sent11: the avionicness happens. sent12: that the sheltering does not occur is true. sent13: the factory-madeness happens. sent14: the makeshift happens if the fact that the baas but not the mammothermography occurs is not true. sent15: the president does not occur if the lumbering does not occur. sent16: that the damaging warhorse and the outdoorness happens is brought about by that the overrunning cynicism does not occur. sent17: if the baas does not occur then the makeshift occurs. ; $proof$ = 
void -> assump2: Let's assume that the fact that the damaging lampblack happens is not wrong.; void -> assump1: Let's assume that the oblique occurs.; assump1 -> int1: either the lumbering or the obliqueness or both occurs.; sent3 & int1 -> int2: the damaging lampblack does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the obliqueness does not occur is not incorrect.; sent5 & int4 -> int5: the fact that the baas happens and the mammothermography does not occur is not right.; sent14 & int5 -> int6: the makeshift occurs.; [assump2] & int6 -> hypothesis; __DISPROVED__