the vehicularness does not occur.
sent1: the copout does not occur and the retrospective does not occur. sent2: both the concrete and the sparkle occurs. sent3: the bisontineness does not occur and the interlocking slalom does not occur. sent4: the jumbling Kazan does not occur. sent5: the high-resolutionness happens and the personifying Pythia happens. sent6: the pectinealness happens. sent7: the elongating occurs and the cropping happens. sent8: the ungratefulness and the jumbling saprophyte happens. sent9: the vehicularness and the football occurs if the arthroplasty does not occur. sent10: that the arthroplasty occurs and the vehicularness happens brings about that the bunco does not occur. sent11: the counterbombardment occurs. sent12: if the bisontineness does not occur the consumerism occurs. sent13: the bureaucraticness does not occur. sent14: the postmodernistness does not occur and the jumbling stumpknocker does not occur. sent15: that the bunco occurs and the consumerism occurs is caused by the non-bisontineness. sent16: that the exploiting happens is not false. sent17: the jumbling flourish does not occur. sent18: that the interlocking striker does not occur hold.
void -> assump1: Let's assume that the vehicularness happens.; sent3 -> int1: the bisontineness does not occur.; sent15 & int1 -> int2: both the bunco and the consumerism happens.; int2 -> int3: the bunco happens.;
the vehicularness occurs.
$hypothesis$ = the vehicularness does not occur. ; $context$ = sent1: the copout does not occur and the retrospective does not occur. sent2: both the concrete and the sparkle occurs. sent3: the bisontineness does not occur and the interlocking slalom does not occur. sent4: the jumbling Kazan does not occur. sent5: the high-resolutionness happens and the personifying Pythia happens. sent6: the pectinealness happens. sent7: the elongating occurs and the cropping happens. sent8: the ungratefulness and the jumbling saprophyte happens. sent9: the vehicularness and the football occurs if the arthroplasty does not occur. sent10: that the arthroplasty occurs and the vehicularness happens brings about that the bunco does not occur. sent11: the counterbombardment occurs. sent12: if the bisontineness does not occur the consumerism occurs. sent13: the bureaucraticness does not occur. sent14: the postmodernistness does not occur and the jumbling stumpknocker does not occur. sent15: that the bunco occurs and the consumerism occurs is caused by the non-bisontineness. sent16: that the exploiting happens is not false. sent17: the jumbling flourish does not occur. sent18: that the interlocking striker does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the vehicularness happens.; sent3 -> int1: the bisontineness does not occur.; sent15 & int1 -> int2: both the bunco and the consumerism happens.; int2 -> int3: the bunco happens.; __UNKNOWN__