the pharmacologicalness does not occur and the enjoying Saxifraga does not occur.
sent1: the firmamentalness occurs. sent2: if the unstatesmanlikeness does not occur then that the fact that the dentalness does not occur and the bacchanticness occurs is not false is not true. sent3: the beating Azaleastrum does not occur. sent4: the recruiting does not occur. sent5: that not the bacchanticness but the dentalness occurs is not correct. sent6: the puppetry does not occur and the carnivorousness does not occur. sent7: both the nonoperationalness and the enjoying Brickellia happens. sent8: if the clinking and the pharmacologicalness occurs the barter does not occur. sent9: that not the enjoying domestic but the thudding happens does not hold if the harmoniousness does not occur. sent10: the incorporealness occurs if the disjunction happens. sent11: that the exhumation occurs and the beating import occurs is not true. sent12: if that the snuffling directorate and the enjoying Saxifraga happens is not correct then the enjoying Saxifraga does not occur. sent13: that the spooning immobilization happens and the nonoperationalness happens is not right if the fact that the beating evaluation does not occur hold. sent14: that the firmamentalness happens leads to that the reciprocity occurs. sent15: the fact that the pharmacologicalness does not occur and the enjoying Saxifraga does not occur is wrong if the firmamentalness does not occur. sent16: the hop-step-and-jump happens. sent17: the zodiacalness does not occur and the beating Azaleastrum does not occur if the snuffling directorate happens. sent18: not the reciprocity but the barter happens if the basketball occurs. sent19: the fact that the snuffling directorate occurs and the enjoying Saxifraga happens is not correct if the obligateness does not occur. sent20: the rescue occurs. sent21: if the fact that the nonoperationalness does not occur hold the fact that the obligating and the snuffling directorate occurs hold. sent22: if the fact that not the bartering but the zodiacalness happens is incorrect the bartering happens. sent23: the clinking happens if that the reciprocity happens is not wrong. sent24: the obligateness does not occur. sent25: the detraction does not occur. sent26: the fact that the bartering does not occur but the zodiacalness occurs is wrong if the beating Azaleastrum does not occur.
sent14 & sent1 -> int1: the reciprocity happens.; int1 & sent23 -> int2: the clinking happens.; void -> assump1: Let's assume that the pharmacologicalness occurs.; int2 & assump1 -> int3: both the clinking and the pharmacologicalness happens.; int3 & sent8 -> int4: the bartering does not occur.; sent26 & sent3 -> int5: that the bartering does not occur but the zodiacalness happens is not correct.; sent22 & int5 -> int6: the bartering occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the pharmacologicalness does not occur.; sent19 & sent24 -> int9: the fact that that both the snuffling directorate and the enjoying Saxifraga occurs does not hold is right.; sent12 & int9 -> int10: the enjoying Saxifraga does not occur.; int8 & int10 -> hypothesis;
the fact that the pharmacologicalness does not occur and the enjoying Saxifraga does not occur is not true.
$hypothesis$ = the pharmacologicalness does not occur and the enjoying Saxifraga does not occur. ; $context$ = sent1: the firmamentalness occurs. sent2: if the unstatesmanlikeness does not occur then that the fact that the dentalness does not occur and the bacchanticness occurs is not false is not true. sent3: the beating Azaleastrum does not occur. sent4: the recruiting does not occur. sent5: that not the bacchanticness but the dentalness occurs is not correct. sent6: the puppetry does not occur and the carnivorousness does not occur. sent7: both the nonoperationalness and the enjoying Brickellia happens. sent8: if the clinking and the pharmacologicalness occurs the barter does not occur. sent9: that not the enjoying domestic but the thudding happens does not hold if the harmoniousness does not occur. sent10: the incorporealness occurs if the disjunction happens. sent11: that the exhumation occurs and the beating import occurs is not true. sent12: if that the snuffling directorate and the enjoying Saxifraga happens is not correct then the enjoying Saxifraga does not occur. sent13: that the spooning immobilization happens and the nonoperationalness happens is not right if the fact that the beating evaluation does not occur hold. sent14: that the firmamentalness happens leads to that the reciprocity occurs. sent15: the fact that the pharmacologicalness does not occur and the enjoying Saxifraga does not occur is wrong if the firmamentalness does not occur. sent16: the hop-step-and-jump happens. sent17: the zodiacalness does not occur and the beating Azaleastrum does not occur if the snuffling directorate happens. sent18: not the reciprocity but the barter happens if the basketball occurs. sent19: the fact that the snuffling directorate occurs and the enjoying Saxifraga happens is not correct if the obligateness does not occur. sent20: the rescue occurs. sent21: if the fact that the nonoperationalness does not occur hold the fact that the obligating and the snuffling directorate occurs hold. sent22: if the fact that not the bartering but the zodiacalness happens is incorrect the bartering happens. sent23: the clinking happens if that the reciprocity happens is not wrong. sent24: the obligateness does not occur. sent25: the detraction does not occur. sent26: the fact that the bartering does not occur but the zodiacalness occurs is wrong if the beating Azaleastrum does not occur. ; $proof$ = 
sent14 & sent1 -> int1: the reciprocity happens.; int1 & sent23 -> int2: the clinking happens.; void -> assump1: Let's assume that the pharmacologicalness occurs.; int2 & assump1 -> int3: both the clinking and the pharmacologicalness happens.; int3 & sent8 -> int4: the bartering does not occur.; sent26 & sent3 -> int5: that the bartering does not occur but the zodiacalness happens is not correct.; sent22 & int5 -> int6: the bartering occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the pharmacologicalness does not occur.; sent19 & sent24 -> int9: the fact that that both the snuffling directorate and the enjoying Saxifraga occurs does not hold is right.; sent12 & int9 -> int10: the enjoying Saxifraga does not occur.; int8 & int10 -> hypothesis; __PROVED__