either the choreographicness or the pandiculation or both happens.
sent1: if the request occurs then the computerization occurs. sent2: that the instrumenting insurance happens is not wrong if the requesting does not occur. sent3: that the vaginalness happens leads to that not the instrumenting GRAPO but the instrumenting escapist occurs. sent4: the vaginalness happens. sent5: that the computerization occurs prevents the pianisticness. sent6: that both the instrumenting GRAPO and the instrumenting insurance happens is brought about by that the request does not occur. sent7: the fact that the instrumenting insurance occurs is right. sent8: that both the non-biogenicness and the unassertiveness happens is not right if the self-flagellation does not occur. sent9: that the morbilliformness does not occur and the instrumenting kieserite does not occur does not hold if the pianisticness does not occur.
void -> assump1: Let's assume that the request does not occur.; sent6 & assump1 -> int1: the fact that the instrumenting GRAPO and the instrumenting insurance occurs hold.; int1 -> int2: the instrumenting GRAPO happens.; sent3 & sent4 -> int3: not the instrumenting GRAPO but the instrumenting escapist happens.; int3 -> int4: the instrumenting GRAPO does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the requesting happens.; int6 & sent1 -> int7: the computerization occurs.; int7 & sent5 -> int8: the pianisticness does not occur.; int8 & sent9 -> int9: that the morbilliformness does not occur and the instrumenting kieserite does not occur is not true.;
$hypothesis$ = either the choreographicness or the pandiculation or both happens. ; $context$ = sent1: if the request occurs then the computerization occurs. sent2: that the instrumenting insurance happens is not wrong if the requesting does not occur. sent3: that the vaginalness happens leads to that not the instrumenting GRAPO but the instrumenting escapist occurs. sent4: the vaginalness happens. sent5: that the computerization occurs prevents the pianisticness. sent6: that both the instrumenting GRAPO and the instrumenting insurance happens is brought about by that the request does not occur. sent7: the fact that the instrumenting insurance occurs is right. sent8: that both the non-biogenicness and the unassertiveness happens is not right if the self-flagellation does not occur. sent9: that the morbilliformness does not occur and the instrumenting kieserite does not occur does not hold if the pianisticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the request does not occur.; sent6 & assump1 -> int1: the fact that the instrumenting GRAPO and the instrumenting insurance occurs hold.; int1 -> int2: the instrumenting GRAPO happens.; sent3 & sent4 -> int3: not the instrumenting GRAPO but the instrumenting escapist happens.; int3 -> int4: the instrumenting GRAPO does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the requesting happens.; int6 & sent1 -> int7: the computerization occurs.; int7 & sent5 -> int8: the pianisticness does not occur.; int8 & sent9 -> int9: that the morbilliformness does not occur and the instrumenting kieserite does not occur is not true.; __UNKNOWN__