that the non-phrasalness and the non-intraventricularness happens is not correct.
sent1: that that the volcanism occurs and the iliacness does not occur does not hold is correct if the vitiliginousness does not occur. sent2: the swamping Sparganium happens. sent3: that the dishonestness and the sun occurs is not right. sent4: the Ruritanianness results in that both the stonewalling and the non-narialness happens. sent5: that the phrasalness does not occur and the intraventricularness does not occur is triggered by the inevitableness. sent6: that the stonewalling occurs and the narialness does not occur causes that the Oxonian does not occur. sent7: the fact that the fact that both the non-phrasalness and the non-intraventricularness happens hold does not hold if the stonewalling does not occur. sent8: if the fact that the Oxonian does not occur is correct the gardening and the chyliferousness happens. sent9: if the richness occurs then that not the swamping hoister but the vibrating occurs does not hold. sent10: the rich occurs if the undeniableness happens. sent11: if the Oxonian does not occur and/or the gardening does not occur then the stonewalling does not occur. sent12: the evitableness occurs. sent13: if the fact that the fact that the swamping hoister does not occur but the vibrating occurs is wrong hold the honestness does not occur. sent14: the dishonestness yields that the Ruritanianness and the abyssalness happens. sent15: if the evitableness occurs and the gardening occurs then the chyliferousness does not occur.
void -> assump1: Let's assume that the gardening occurs.; sent12 & assump1 -> int1: both the evitableness and the gardening occurs.; int1 & sent15 -> int2: the chyliferousness does not occur.;
the phrasalness does not occur and the intraventricularness does not occur.
$hypothesis$ = that the non-phrasalness and the non-intraventricularness happens is not correct. ; $context$ = sent1: that that the volcanism occurs and the iliacness does not occur does not hold is correct if the vitiliginousness does not occur. sent2: the swamping Sparganium happens. sent3: that the dishonestness and the sun occurs is not right. sent4: the Ruritanianness results in that both the stonewalling and the non-narialness happens. sent5: that the phrasalness does not occur and the intraventricularness does not occur is triggered by the inevitableness. sent6: that the stonewalling occurs and the narialness does not occur causes that the Oxonian does not occur. sent7: the fact that the fact that both the non-phrasalness and the non-intraventricularness happens hold does not hold if the stonewalling does not occur. sent8: if the fact that the Oxonian does not occur is correct the gardening and the chyliferousness happens. sent9: if the richness occurs then that not the swamping hoister but the vibrating occurs does not hold. sent10: the rich occurs if the undeniableness happens. sent11: if the Oxonian does not occur and/or the gardening does not occur then the stonewalling does not occur. sent12: the evitableness occurs. sent13: if the fact that the fact that the swamping hoister does not occur but the vibrating occurs is wrong hold the honestness does not occur. sent14: the dishonestness yields that the Ruritanianness and the abyssalness happens. sent15: if the evitableness occurs and the gardening occurs then the chyliferousness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the gardening occurs.; sent12 & assump1 -> int1: both the evitableness and the gardening occurs.; int1 & sent15 -> int2: the chyliferousness does not occur.; __UNKNOWN__