the uploading hunted does not occur.
sent1: that the uploading hunted does not occur is brought about by that the figure does not occur. sent2: if the figuring happens the uploading hunted occurs. sent3: both the non-cross-sectionalness and the non-postganglionicness happens. sent4: the deforming does not occur and the chondriticness does not occur. sent5: the uploading censer occurs. sent6: if the figure happens the fact that both the non-Christologicalness and the non-chelonianness happens is false. sent7: the inconstantness brings about that the uploading Mastigophora does not occur. sent8: the haranguing assizes does not occur. sent9: if the fact that the feeling does not occur and the ditching does not occur does not hold the clipping occurs. sent10: if the uploading pricket occurs but the nationalization does not occur then the uploading Chordospartium does not occur. sent11: that not the chondriticness but the phosphorescence occurs does not hold. sent12: if the typology and the non-attributableness occurs then the racketing does not occur. sent13: if that the uploading Mastigophora does not occur is correct then both the haranguing mantel and the illegibleness happens. sent14: the haranguing mantel does not occur. sent15: that the constant does not occur and/or that the uncoiling Balboa does not occur is caused by that the uncoiling Coleoptera happens. sent16: that the haranguing coelacanth happens and the uncoiling Coleoptera occurs is brought about by the non-chondriticness. sent17: the haranguing impermeability does not occur and the playback occurs. sent18: the fact that the clipping does not occur and the illegibleness occurs is right.
void -> assump1: Let's assume that that the feeling does not occur and the ditch does not occur is false.; sent9 & assump1 -> int1: the clipping happens.; sent18 -> int2: that the clipping does not occur is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the feeling does not occur and the ditch does not occur.;
the uploading hunted occurs.
$hypothesis$ = the uploading hunted does not occur. ; $context$ = sent1: that the uploading hunted does not occur is brought about by that the figure does not occur. sent2: if the figuring happens the uploading hunted occurs. sent3: both the non-cross-sectionalness and the non-postganglionicness happens. sent4: the deforming does not occur and the chondriticness does not occur. sent5: the uploading censer occurs. sent6: if the figure happens the fact that both the non-Christologicalness and the non-chelonianness happens is false. sent7: the inconstantness brings about that the uploading Mastigophora does not occur. sent8: the haranguing assizes does not occur. sent9: if the fact that the feeling does not occur and the ditching does not occur does not hold the clipping occurs. sent10: if the uploading pricket occurs but the nationalization does not occur then the uploading Chordospartium does not occur. sent11: that not the chondriticness but the phosphorescence occurs does not hold. sent12: if the typology and the non-attributableness occurs then the racketing does not occur. sent13: if that the uploading Mastigophora does not occur is correct then both the haranguing mantel and the illegibleness happens. sent14: the haranguing mantel does not occur. sent15: that the constant does not occur and/or that the uncoiling Balboa does not occur is caused by that the uncoiling Coleoptera happens. sent16: that the haranguing coelacanth happens and the uncoiling Coleoptera occurs is brought about by the non-chondriticness. sent17: the haranguing impermeability does not occur and the playback occurs. sent18: the fact that the clipping does not occur and the illegibleness occurs is right. ; $proof$ = 
void -> assump1: Let's assume that that the feeling does not occur and the ditch does not occur is false.; sent9 & assump1 -> int1: the clipping happens.; sent18 -> int2: that the clipping does not occur is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the feeling does not occur and the ditch does not occur.; __UNKNOWN__