that the conformation happens hold.
sent1: the histologicalness occurs. sent2: if that the draping sawhorse does not occur is not false the draping physiography occurs. sent3: the rumba happens and the sociopathicness occurs. sent4: the scraping and the turbulence happens. sent5: that the conformation happens is prevented by that the draping physiography occurs and the mining happens. sent6: if that the draping Varanidae does not occur and the scrum does not occur is false the draping sawhorse does not occur. sent7: the fact that that not the doubleheader but the furor occurs is true does not hold. sent8: the unreceptiveness does not occur and the draping Varanidae does not occur if the scrum occurs. sent9: if the fact that the properness happens and the write-off occurs is correct then the familialness does not occur. sent10: the fact that the bearing does not occur and the rewriting uplifting does not occur is not true. sent11: the rewriting adduct does not occur. sent12: the mining happens. sent13: the sophisticating expensiveness happens. sent14: the ameboidness does not occur. sent15: that the scrum does not occur is true. sent16: the fact that not the rewriting fatback but the correlating occurs is not correct. sent17: the upper-classness does not occur and the draping Raleigh does not occur. sent18: the draping Varanidae happens.
void -> assump1: Let's assume that the draping Varanidae does not occur and the scrum does not occur.; assump1 -> int1: the fact that the draping Varanidae does not occur is not wrong.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the draping Varanidae does not occur and the scrum does not occur does not hold.; int3 & sent6 -> int4: the draping sawhorse does not occur.; int4 & sent2 -> int5: the draping physiography occurs.; int5 & sent12 -> int6: both the draping physiography and the mining happens.; int6 & sent5 -> hypothesis;
the unreceptiveness does not occur.
$hypothesis$ = that the conformation happens hold. ; $context$ = sent1: the histologicalness occurs. sent2: if that the draping sawhorse does not occur is not false the draping physiography occurs. sent3: the rumba happens and the sociopathicness occurs. sent4: the scraping and the turbulence happens. sent5: that the conformation happens is prevented by that the draping physiography occurs and the mining happens. sent6: if that the draping Varanidae does not occur and the scrum does not occur is false the draping sawhorse does not occur. sent7: the fact that that not the doubleheader but the furor occurs is true does not hold. sent8: the unreceptiveness does not occur and the draping Varanidae does not occur if the scrum occurs. sent9: if the fact that the properness happens and the write-off occurs is correct then the familialness does not occur. sent10: the fact that the bearing does not occur and the rewriting uplifting does not occur is not true. sent11: the rewriting adduct does not occur. sent12: the mining happens. sent13: the sophisticating expensiveness happens. sent14: the ameboidness does not occur. sent15: that the scrum does not occur is true. sent16: the fact that not the rewriting fatback but the correlating occurs is not correct. sent17: the upper-classness does not occur and the draping Raleigh does not occur. sent18: the draping Varanidae happens. ; $proof$ = 
void -> assump1: Let's assume that the draping Varanidae does not occur and the scrum does not occur.; assump1 -> int1: the fact that the draping Varanidae does not occur is not wrong.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the draping Varanidae does not occur and the scrum does not occur does not hold.; int3 & sent6 -> int4: the draping sawhorse does not occur.; int4 & sent2 -> int5: the draping physiography occurs.; int5 & sent12 -> int6: both the draping physiography and the mining happens.; int6 & sent5 -> hypothesis; __DISPROVED__