the carbonaceousness does not occur.
sent1: that the generationalness does not occur is brought about by that the promotion and the guiding happens. sent2: that both the non-lyricness and the non-chasteness happens is not true. sent3: the goldbrick does not occur and the ruining does not occur. sent4: the carbonaceousness does not occur if the equitableness does not occur and the punishing Hebei does not occur. sent5: that the passing fipple happens and the punishing Louisianan occurs yields that the equitableness does not occur. sent6: not the punishing Hebei but the enforceableness occurs. sent7: that the punishing Louisianan does not occur triggers that the carbonaceousness and the passing fipple occurs. sent8: if the funerariness does not occur and the punishing gaminess does not occur that the passing pterodactyl does not occur is right. sent9: the punishing Louisianan happens. sent10: that the lyricness does not occur and the chasteness happens is not right. sent11: the enforceableness happens. sent12: the passing Unio does not occur but the passing Hertz occurs. sent13: if the Spark does not occur the funerariness does not occur and the punishing gaminess does not occur. sent14: the arenicolousness does not occur. sent15: that the lyricing occurs and the chasteness does not occur is not correct. sent16: that the passing pterodactyl does not occur yields that the punishing Hebei occurs and the enforceableness happens.
void -> assump1: Let's assume that the passing fipple does not occur.; sent6 -> int1: the punishing Hebei does not occur.;
the carbonaceousness occurs.
$hypothesis$ = the carbonaceousness does not occur. ; $context$ = sent1: that the generationalness does not occur is brought about by that the promotion and the guiding happens. sent2: that both the non-lyricness and the non-chasteness happens is not true. sent3: the goldbrick does not occur and the ruining does not occur. sent4: the carbonaceousness does not occur if the equitableness does not occur and the punishing Hebei does not occur. sent5: that the passing fipple happens and the punishing Louisianan occurs yields that the equitableness does not occur. sent6: not the punishing Hebei but the enforceableness occurs. sent7: that the punishing Louisianan does not occur triggers that the carbonaceousness and the passing fipple occurs. sent8: if the funerariness does not occur and the punishing gaminess does not occur that the passing pterodactyl does not occur is right. sent9: the punishing Louisianan happens. sent10: that the lyricness does not occur and the chasteness happens is not right. sent11: the enforceableness happens. sent12: the passing Unio does not occur but the passing Hertz occurs. sent13: if the Spark does not occur the funerariness does not occur and the punishing gaminess does not occur. sent14: the arenicolousness does not occur. sent15: that the lyricing occurs and the chasteness does not occur is not correct. sent16: that the passing pterodactyl does not occur yields that the punishing Hebei occurs and the enforceableness happens. ; $proof$ = 
void -> assump1: Let's assume that the passing fipple does not occur.; sent6 -> int1: the punishing Hebei does not occur.; __UNKNOWN__