not the dunning paneled but the septation occurs if the inspecting occurs.
sent1: that the auspice does not occur leads to that the subdividing abdomen does not occur. sent2: the subdividing abdomen does not occur if the intensifying occurs. sent3: that the dunning Pereskia does not occur results in that both the interpreting hauler and the inspecting happens. sent4: the fact that the plantigrade happens is wrong if that both the dunning dieter and the unsanitariness happens is not true. sent5: the septation happens and the interpreting felloe happens. sent6: that the interpreting felloe happens hold. sent7: both the purposefulness and the neuroendocrineness occurs. sent8: if the selfness does not occur and the portrayal does not occur the dunning Pereskia does not occur. sent9: the selfness does not occur. sent10: the intensifying and/or that the auspice does not occur is triggered by the purposefulness. sent11: if the diluting occurs the fact that the protrusion does not occur hold. sent12: that the quadraticness does not occur results in that the interpreting felloe occurs and the Gnostic happens. sent13: if the subdividing abdomen does not occur the fact that the dunning dieter happens and the unsanitariness happens does not hold. sent14: if not the septation but the dunning paneled happens the stomatalness happens. sent15: not the quadratic but the gastroscopy occurs if the plantigrade does not occur.
void -> assump1: Let's assume that the inspecting occurs.; sent5 -> int1: the septation happens.;
both the stomatalness and the interpreting hauler occurs.
sent7 -> int2: the purposefulness occurs.; sent10 & int2 -> int3: the intensifying occurs or the auspice does not occur or both.; int3 & sent2 & sent1 -> int4: the subdividing abdomen does not occur.; sent13 & int4 -> int5: the fact that both the dunning dieter and the unsanitariness occurs is wrong.; sent4 & int5 -> int6: the plantigrade does not occur.; sent15 & int6 -> int7: not the quadraticness but the gastroscopy happens.; int7 -> int8: the quadraticness does not occur.; sent12 & int8 -> int9: both the interpreting felloe and the Gnosticness happens.; int9 -> int10: the interpreting felloe occurs.;
$hypothesis$ = not the dunning paneled but the septation occurs if the inspecting occurs. ; $context$ = sent1: that the auspice does not occur leads to that the subdividing abdomen does not occur. sent2: the subdividing abdomen does not occur if the intensifying occurs. sent3: that the dunning Pereskia does not occur results in that both the interpreting hauler and the inspecting happens. sent4: the fact that the plantigrade happens is wrong if that both the dunning dieter and the unsanitariness happens is not true. sent5: the septation happens and the interpreting felloe happens. sent6: that the interpreting felloe happens hold. sent7: both the purposefulness and the neuroendocrineness occurs. sent8: if the selfness does not occur and the portrayal does not occur the dunning Pereskia does not occur. sent9: the selfness does not occur. sent10: the intensifying and/or that the auspice does not occur is triggered by the purposefulness. sent11: if the diluting occurs the fact that the protrusion does not occur hold. sent12: that the quadraticness does not occur results in that the interpreting felloe occurs and the Gnostic happens. sent13: if the subdividing abdomen does not occur the fact that the dunning dieter happens and the unsanitariness happens does not hold. sent14: if not the septation but the dunning paneled happens the stomatalness happens. sent15: not the quadratic but the gastroscopy occurs if the plantigrade does not occur. ; $proof$ = 
void -> assump1: Let's assume that the inspecting occurs.; sent5 -> int1: the septation happens.; __UNKNOWN__