the Australasianness occurs but the Teutonicness does not occur.
sent1: that the Teutonicness does not occur is correct if that not the sequestration but the effecting mediacy happens is not correct. sent2: if the rationalisticness occurs that the Australasianness and the non-Teutonicness happens is not correct. sent3: the grace occurs. sent4: the plagiarism does not occur. sent5: the organizing vitalization happens and/or the biomedicalness occurs. sent6: the fact that the stunner occurs and/or the probabilisticness does not occur is true if the Italic happens. sent7: the spread does not occur if the dissembling Ederle happens. sent8: the bomb happens if that the bomb does not occur and the folly does not occur is not right. sent9: that both the non-Australasianness and the non-probabilisticness occurs is not correct. sent10: that both the dystopianness and the cryogenicsness occurs is not correct. sent11: if the rectalness does not occur then the fact that both the jazzing and the outerness happens is not right. sent12: the spatialness does not occur if that the organizing Jefferson does not occur and the Sin happens does not hold. sent13: if the sequestration occurs and the effecting mediacy does not occur the charging occurs. sent14: that not the sequestration but the effecting mediacy occurs is false if the charging does not occur. sent15: the charge does not occur if the dissembling pyroscope does not occur. sent16: the bomb happens if the fact that the bomb does not occur and the putter does not occur does not hold. sent17: if the fact that the cytolyticness and the stunner occurs is not true the cytolyticness does not occur. sent18: that the tripping Saratov does not occur causes the cytolyticness. sent19: if the fact that both the non-Australasianness and the non-probabilisticness happens is false then the Australasianness occurs. sent20: if the grace happens then the fact that the Italicness occurs is not false. sent21: if that the Saturnalia does not occur and the tonelessness does not occur is incorrect then the Saturnalia happens. sent22: the infiniteness does not occur. sent23: that not the Mill but the calvary happens is not correct. sent24: that the rationalisticness happens and/or that the dissembling pyroscope occurs prevents that the tripping Saratov occurs. sent25: that both the cytolyticness and the stunner happens is wrong if the plagiarism does not occur. sent26: the organizing kisser does not occur if the diadromousness occurs.
void -> assump1: Let's assume that the dissembling pyroscope happens.; assump1 -> int1: the rationalisticness and/or the dissembling pyroscope happens.; int1 & sent24 -> int2: the tripping Saratov does not occur.; int2 & sent18 -> int3: the cytolyticness happens.; sent25 & sent4 -> int4: the fact that both the cytolyticness and the stunner happens is not true.; sent17 & int4 -> int5: the cytolyticness does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the dissembling pyroscope does not occur.; int7 & sent15 -> int8: the charging does not occur.; int8 & sent14 -> int9: the fact that that the sequestration does not occur and the effecting mediacy occurs is true does not hold.; int9 & sent1 -> int10: the Teutonicness does not occur.; sent19 & sent9 -> int11: the Australasianness occurs.; int10 & int11 -> hypothesis;
the fact that the Australasianness occurs and the Teutonicness does not occur does not hold.
sent20 & sent3 -> int12: the Italic happens.; sent6 & int12 -> int13: the stunner happens or the probabilisticness does not occur or both.;
$hypothesis$ = the Australasianness occurs but the Teutonicness does not occur. ; $context$ = sent1: that the Teutonicness does not occur is correct if that not the sequestration but the effecting mediacy happens is not correct. sent2: if the rationalisticness occurs that the Australasianness and the non-Teutonicness happens is not correct. sent3: the grace occurs. sent4: the plagiarism does not occur. sent5: the organizing vitalization happens and/or the biomedicalness occurs. sent6: the fact that the stunner occurs and/or the probabilisticness does not occur is true if the Italic happens. sent7: the spread does not occur if the dissembling Ederle happens. sent8: the bomb happens if that the bomb does not occur and the folly does not occur is not right. sent9: that both the non-Australasianness and the non-probabilisticness occurs is not correct. sent10: that both the dystopianness and the cryogenicsness occurs is not correct. sent11: if the rectalness does not occur then the fact that both the jazzing and the outerness happens is not right. sent12: the spatialness does not occur if that the organizing Jefferson does not occur and the Sin happens does not hold. sent13: if the sequestration occurs and the effecting mediacy does not occur the charging occurs. sent14: that not the sequestration but the effecting mediacy occurs is false if the charging does not occur. sent15: the charge does not occur if the dissembling pyroscope does not occur. sent16: the bomb happens if the fact that the bomb does not occur and the putter does not occur does not hold. sent17: if the fact that the cytolyticness and the stunner occurs is not true the cytolyticness does not occur. sent18: that the tripping Saratov does not occur causes the cytolyticness. sent19: if the fact that both the non-Australasianness and the non-probabilisticness happens is false then the Australasianness occurs. sent20: if the grace happens then the fact that the Italicness occurs is not false. sent21: if that the Saturnalia does not occur and the tonelessness does not occur is incorrect then the Saturnalia happens. sent22: the infiniteness does not occur. sent23: that not the Mill but the calvary happens is not correct. sent24: that the rationalisticness happens and/or that the dissembling pyroscope occurs prevents that the tripping Saratov occurs. sent25: that both the cytolyticness and the stunner happens is wrong if the plagiarism does not occur. sent26: the organizing kisser does not occur if the diadromousness occurs. ; $proof$ = 
void -> assump1: Let's assume that the dissembling pyroscope happens.; assump1 -> int1: the rationalisticness and/or the dissembling pyroscope happens.; int1 & sent24 -> int2: the tripping Saratov does not occur.; int2 & sent18 -> int3: the cytolyticness happens.; sent25 & sent4 -> int4: the fact that both the cytolyticness and the stunner happens is not true.; sent17 & int4 -> int5: the cytolyticness does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the dissembling pyroscope does not occur.; int7 & sent15 -> int8: the charging does not occur.; int8 & sent14 -> int9: the fact that that the sequestration does not occur and the effecting mediacy occurs is true does not hold.; int9 & sent1 -> int10: the Teutonicness does not occur.; sent19 & sent9 -> int11: the Australasianness occurs.; int10 & int11 -> hypothesis; __PROVED__