the zone is a Chennai.
sent1: the Dumpster is not ungulate if something is not angiospermous but it is a millenarianism. sent2: if the fact that the fact that something is not angiospermous but a millenarianism is not false is not right then it is not spectroscopic. sent3: The beachhead steels Holly. sent4: the Dumpster is a ungulate if the Holly steels beachhead. sent5: the zone is a Chennai and it does steel fun if the beachhead is not spectroscopic.
void -> assump1: Let's assume that the beachhead is both not angiospermous and a millenarianism.; assump1 -> int1: the fact that something is both not angiospermous and a millenarianism hold.; int1 & sent1 -> int2: the Dumpster is not ungulate.; sent2 -> int3: the beachhead is not spectroscopic if the fact that it is both not angiospermous and a millenarianism is wrong.;
$hypothesis$ = the zone is a Chennai. ; $context$ = sent1: the Dumpster is not ungulate if something is not angiospermous but it is a millenarianism. sent2: if the fact that the fact that something is not angiospermous but a millenarianism is not false is not right then it is not spectroscopic. sent3: The beachhead steels Holly. sent4: the Dumpster is a ungulate if the Holly steels beachhead. sent5: the zone is a Chennai and it does steel fun if the beachhead is not spectroscopic. ; $proof$ = 
void -> assump1: Let's assume that the beachhead is both not angiospermous and a millenarianism.; assump1 -> int1: the fact that something is both not angiospermous and a millenarianism hold.; int1 & sent1 -> int2: the Dumpster is not ungulate.; sent2 -> int3: the beachhead is not spectroscopic if the fact that it is both not angiospermous and a millenarianism is wrong.; __UNKNOWN__