the propagandizing and the unconquerableness occurs.
sent1: the blackout occurs. sent2: the prescription does not occur. sent3: the coloring sill happens. sent4: the blackout occurs and the immanentness occurs. sent5: the megakaryocyticness happens if the declamation does not occur. sent6: the fact that the culturing television does not occur is true. sent7: the training occurs. sent8: the binucleateness occurs. sent9: the beating does not occur. sent10: the insinuation occurs. sent11: if the callosotomy does not occur the training happens. sent12: if the beating does not occur then the pargeting does not occur. sent13: the fact that the Cartesianness happens is not false. sent14: if the fact that the beats does not occur hold the pargeting does not occur and the declamation does not occur. sent15: that the non-immanentness and the culturing secondment occurs is triggered by the thriftiness. sent16: if the declamation does not occur then the megakaryocyticness and the propagandizing occurs. sent17: the callosotomy does not occur if the thriftiness does not occur. sent18: that the indexing Jersey does not occur leads to that the Justice occurs. sent19: the bang does not occur but the croquet happens if the coloring sill occurs.
void -> assump1: Let's assume that the thriftiness occurs.; sent15 & assump1 -> int1: not the immanentness but the culturing secondment occurs.; int1 -> int2: the fact that the immanentness does not occur is correct.; sent4 -> int3: the immanentness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the thriftiness does not occur.; int5 & sent17 -> int6: the callosotomy does not occur.; sent14 & sent9 -> int7: the pargeting does not occur and the declamation does not occur.; int7 -> int8: the declamation does not occur.; sent16 & int8 -> int9: both the megakaryocyticness and the propagandizing happens.; int9 -> int10: the propagandizing occurs.;
that the propagandizing and the unconquerableness occurs does not hold.
 -> hypothesis;
$hypothesis$ = the propagandizing and the unconquerableness occurs. ; $context$ = sent1: the blackout occurs. sent2: the prescription does not occur. sent3: the coloring sill happens. sent4: the blackout occurs and the immanentness occurs. sent5: the megakaryocyticness happens if the declamation does not occur. sent6: the fact that the culturing television does not occur is true. sent7: the training occurs. sent8: the binucleateness occurs. sent9: the beating does not occur. sent10: the insinuation occurs. sent11: if the callosotomy does not occur the training happens. sent12: if the beating does not occur then the pargeting does not occur. sent13: the fact that the Cartesianness happens is not false. sent14: if the fact that the beats does not occur hold the pargeting does not occur and the declamation does not occur. sent15: that the non-immanentness and the culturing secondment occurs is triggered by the thriftiness. sent16: if the declamation does not occur then the megakaryocyticness and the propagandizing occurs. sent17: the callosotomy does not occur if the thriftiness does not occur. sent18: that the indexing Jersey does not occur leads to that the Justice occurs. sent19: the bang does not occur but the croquet happens if the coloring sill occurs. ; $proof$ = 
void -> assump1: Let's assume that the thriftiness occurs.; sent15 & assump1 -> int1: not the immanentness but the culturing secondment occurs.; int1 -> int2: the fact that the immanentness does not occur is correct.; sent4 -> int3: the immanentness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the thriftiness does not occur.; int5 & sent17 -> int6: the callosotomy does not occur.; sent14 & sent9 -> int7: the pargeting does not occur and the declamation does not occur.; int7 -> int8: the declamation does not occur.; sent16 & int8 -> int9: both the megakaryocyticness and the propagandizing happens.; int9 -> int10: the propagandizing occurs.; __UNKNOWN__