the beautifulness does not occur.
sent1: the Timoreseness happens. sent2: the knitting proselyte does not occur but the theming 401-k occurs if the piousness happens. sent3: that the non-anticlimacticness and the Timoreseness occurs is not correct if the intracranialness happens. sent4: if the diploidness happens then that the onomatopoeicness does not occur is true. sent5: the diploidness does not occur. sent6: the onomatopoeicness occurs if the Timoreseness occurs. sent7: that the diploid and the trivializing Proteus happens yields that the knitting tollkeeper occurs. sent8: that the fact that both the knitting tollkeeper and the non-onomatopoeicness happens is not right hold if the Timoreseness does not occur. sent9: the knitting tollkeeper happens if both the non-diploidness and the trivializing Proteus occurs. sent10: that the diploid occurs and the trivializing Proteus happens is not right. sent11: the onomatopoeicness does not occur if the fact that not the diploid but the trivializing Proteus occurs is wrong. sent12: the Timorese does not occur if that the non-anticlimacticness and the Timorese happens is not correct. sent13: the beautifulness happens if the knitting tollkeeper happens. sent14: if the knitting proselyte does not occur then both the intruding and the intracranialness occurs. sent15: the trivializing carry happens.
void -> assump1: Let's assume that the fact that the diploidness does not occur but the trivializing Proteus happens is incorrect.; sent11 & assump1 -> int1: the onomatopoeicness does not occur.; sent6 & sent1 -> int2: the onomatopoeicness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-diploidness and the trivializing Proteus occurs.; int4 & sent9 -> int5: the knitting tollkeeper occurs.; int5 & sent13 -> hypothesis;
the beautifulness does not occur.
$hypothesis$ = the beautifulness does not occur. ; $context$ = sent1: the Timoreseness happens. sent2: the knitting proselyte does not occur but the theming 401-k occurs if the piousness happens. sent3: that the non-anticlimacticness and the Timoreseness occurs is not correct if the intracranialness happens. sent4: if the diploidness happens then that the onomatopoeicness does not occur is true. sent5: the diploidness does not occur. sent6: the onomatopoeicness occurs if the Timoreseness occurs. sent7: that the diploid and the trivializing Proteus happens yields that the knitting tollkeeper occurs. sent8: that the fact that both the knitting tollkeeper and the non-onomatopoeicness happens is not right hold if the Timoreseness does not occur. sent9: the knitting tollkeeper happens if both the non-diploidness and the trivializing Proteus occurs. sent10: that the diploid occurs and the trivializing Proteus happens is not right. sent11: the onomatopoeicness does not occur if the fact that not the diploid but the trivializing Proteus occurs is wrong. sent12: the Timorese does not occur if that the non-anticlimacticness and the Timorese happens is not correct. sent13: the beautifulness happens if the knitting tollkeeper happens. sent14: if the knitting proselyte does not occur then both the intruding and the intracranialness occurs. sent15: the trivializing carry happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the diploidness does not occur but the trivializing Proteus happens is incorrect.; sent11 & assump1 -> int1: the onomatopoeicness does not occur.; sent6 & sent1 -> int2: the onomatopoeicness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-diploidness and the trivializing Proteus occurs.; int4 & sent9 -> int5: the knitting tollkeeper occurs.; int5 & sent13 -> hypothesis; __DISPROVED__