the videotaping does not occur.
sent1: that both the literate and the opinion occurs results in that the RFD does not occur. sent2: if the fact that the severalizing seaward does not occur and the severalizing blackheart does not occur is false the fact that the severalizing seaward occurs hold. sent3: the grumbling ironed does not occur if that not the resurfacing but the grumbling doorlock happens is not right. sent4: the approximation happens. sent5: that that not the resurfacing but the grumbling doorlock occurs is not incorrect is not correct. sent6: the microscopy occurs. sent7: the videotape does not occur if the expurgation and the severalizing serictery happens. sent8: the playing and/or that the navigation does not occur results in the playing. sent9: if the literate does not occur and the grumbling ironed does not occur the expurgation occurs. sent10: if the resurfacing occurs then the grumbling ironed does not occur. sent11: the opinion occurs. sent12: if the fact that the salting and the federalness occurs is incorrect then the chordate does not occur. sent13: that the microscopy and the playing occurs brings about that the stoloniferousness does not occur. sent14: the RFD happens. sent15: that the salting and the federalness occurs is incorrect. sent16: the literateness happens and the videotaping occurs if the opinion does not occur. sent17: the severalizing seaward and the basting happens. sent18: that the resurfacing but not the grumbling doorlock happens is not true if the stoloniferousness does not occur. sent19: the countdown occurs. sent20: the adding sonography does not occur and the acuteness does not occur if the sonography happens. sent21: the severalizing serictery happens if not the stoloniferousness but the microscopy happens. sent22: that both the resurfacing and the grumbling doorlock occurs is false. sent23: the playing happens and/or the navigation does not occur if the adding sonography does not occur. sent24: the stoloniferousness does not occur and the microscopy happens. sent25: if the chordate does not occur the fact that the severalizing seaward does not occur and the severalizing blackheart does not occur is not right. sent26: the fact that the microscopy happens is correct if the severalizing seaward happens.
void -> assump1: Let's assume that the literateness happens.; assump1 & sent11 -> int1: the literateness and the opinion occurs.; int1 & sent1 -> int2: the RFD does not occur.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the literateness does not occur.; sent3 & sent5 -> int5: the fact that the grumbling ironed does not occur is not wrong.; int4 & int5 -> int6: the literate does not occur and the grumbling ironed does not occur.; int6 & sent9 -> int7: the expurgation happens.; sent21 & sent24 -> int8: the fact that the severalizing serictery occurs is not incorrect.; int7 & int8 -> int9: the expurgation happens and the severalizing serictery occurs.; int9 & sent7 -> hypothesis;
the videotape occurs.
sent12 & sent15 -> int10: the chordateness does not occur.; sent25 & int10 -> int11: the fact that the severalizing seaward does not occur and the severalizing blackheart does not occur is not correct.; sent2 & int11 -> int12: the severalizing seaward occurs.; sent26 & int12 -> int13: the microscopy happens.;
$hypothesis$ = the videotaping does not occur. ; $context$ = sent1: that both the literate and the opinion occurs results in that the RFD does not occur. sent2: if the fact that the severalizing seaward does not occur and the severalizing blackheart does not occur is false the fact that the severalizing seaward occurs hold. sent3: the grumbling ironed does not occur if that not the resurfacing but the grumbling doorlock happens is not right. sent4: the approximation happens. sent5: that that not the resurfacing but the grumbling doorlock occurs is not incorrect is not correct. sent6: the microscopy occurs. sent7: the videotape does not occur if the expurgation and the severalizing serictery happens. sent8: the playing and/or that the navigation does not occur results in the playing. sent9: if the literate does not occur and the grumbling ironed does not occur the expurgation occurs. sent10: if the resurfacing occurs then the grumbling ironed does not occur. sent11: the opinion occurs. sent12: if the fact that the salting and the federalness occurs is incorrect then the chordate does not occur. sent13: that the microscopy and the playing occurs brings about that the stoloniferousness does not occur. sent14: the RFD happens. sent15: that the salting and the federalness occurs is incorrect. sent16: the literateness happens and the videotaping occurs if the opinion does not occur. sent17: the severalizing seaward and the basting happens. sent18: that the resurfacing but not the grumbling doorlock happens is not true if the stoloniferousness does not occur. sent19: the countdown occurs. sent20: the adding sonography does not occur and the acuteness does not occur if the sonography happens. sent21: the severalizing serictery happens if not the stoloniferousness but the microscopy happens. sent22: that both the resurfacing and the grumbling doorlock occurs is false. sent23: the playing happens and/or the navigation does not occur if the adding sonography does not occur. sent24: the stoloniferousness does not occur and the microscopy happens. sent25: if the chordate does not occur the fact that the severalizing seaward does not occur and the severalizing blackheart does not occur is not right. sent26: the fact that the microscopy happens is correct if the severalizing seaward happens. ; $proof$ = 
void -> assump1: Let's assume that the literateness happens.; assump1 & sent11 -> int1: the literateness and the opinion occurs.; int1 & sent1 -> int2: the RFD does not occur.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the literateness does not occur.; sent3 & sent5 -> int5: the fact that the grumbling ironed does not occur is not wrong.; int4 & int5 -> int6: the literate does not occur and the grumbling ironed does not occur.; int6 & sent9 -> int7: the expurgation happens.; sent21 & sent24 -> int8: the fact that the severalizing serictery occurs is not incorrect.; int7 & int8 -> int9: the expurgation happens and the severalizing serictery occurs.; int9 & sent7 -> hypothesis; __PROVED__