the Vedicness and the syncategorematicness occurs.
sent1: if the sophisticating soapbox does not occur the fact that the sophisticating swan but not the gastromy occurs is incorrect. sent2: the vulpineness occurs if the sophisticating Varanidae happens. sent3: if the vulpineness happens then the American does not occur and the gardening does not occur. sent4: the wedge and the simple occurs. sent5: the fact that the burial does not occur is correct if that the angulation does not occur and/or the parliament happens is wrong. sent6: if not the sophisticating swan but the sophisticating soapbox happens the Vedicness happens. sent7: the carbonaceousness does not occur. sent8: the gastromy causes that the sophisticating swan does not occur. sent9: not the rewriting Styron but the jugging occurs. sent10: the cardinalness occurs if the fact that the sophisticating swan but not the gastromy happens is not true. sent11: if the rewriting cattiness does not occur the fact that the pyrogallicness does not occur and the blinking occurs is wrong. sent12: the sophisticating Algonquian is prevented by that the American does not occur and the gardening does not occur. sent13: the biopsy and the sophisticating soapbox occurs. sent14: the parliament does not occur. sent15: if the uplift happens that the carbonaceousness does not occur and the biopsy does not occur is false. sent16: the syncategorematicness happens. sent17: if the sophisticating Algonquian does not occur then both the uplifting and the non-agentialness happens. sent18: both the gastromy and the cardinal happens if the angulation does not occur.
void -> assump1: Let's assume that the angulation happens.; sent14 & assump1 -> int1: the parliament does not occur but the angulation happens.; sent13 -> int2: the sophisticating soapbox occurs.;
the burial does not occur.
$hypothesis$ = the Vedicness and the syncategorematicness occurs. ; $context$ = sent1: if the sophisticating soapbox does not occur the fact that the sophisticating swan but not the gastromy occurs is incorrect. sent2: the vulpineness occurs if the sophisticating Varanidae happens. sent3: if the vulpineness happens then the American does not occur and the gardening does not occur. sent4: the wedge and the simple occurs. sent5: the fact that the burial does not occur is correct if that the angulation does not occur and/or the parliament happens is wrong. sent6: if not the sophisticating swan but the sophisticating soapbox happens the Vedicness happens. sent7: the carbonaceousness does not occur. sent8: the gastromy causes that the sophisticating swan does not occur. sent9: not the rewriting Styron but the jugging occurs. sent10: the cardinalness occurs if the fact that the sophisticating swan but not the gastromy happens is not true. sent11: if the rewriting cattiness does not occur the fact that the pyrogallicness does not occur and the blinking occurs is wrong. sent12: the sophisticating Algonquian is prevented by that the American does not occur and the gardening does not occur. sent13: the biopsy and the sophisticating soapbox occurs. sent14: the parliament does not occur. sent15: if the uplift happens that the carbonaceousness does not occur and the biopsy does not occur is false. sent16: the syncategorematicness happens. sent17: if the sophisticating Algonquian does not occur then both the uplifting and the non-agentialness happens. sent18: both the gastromy and the cardinal happens if the angulation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the angulation happens.; sent14 & assump1 -> int1: the parliament does not occur but the angulation happens.; sent13 -> int2: the sophisticating soapbox occurs.; __UNKNOWN__