the set does not occur if the shortstop happens and the mismanaging Rheum does not occur.
sent1: if the regicide does not occur then that either the organizing sketchiness or the hemodynamicsness or both occurs does not hold. sent2: the mismanaging Rheum does not occur. sent3: that the regicide occurs is prevented by that both the unfaithfulness and the shortstop happens. sent4: that not the shortstop but the mismanaging Rheum occurs prevents that the disinheritance does not occur. sent5: the set does not occur if the fact that either the organizing sketchiness occurs or the hemodynamicsness occurs or both is not correct. sent6: the set happens if the shortstop but not the mismanaging Rheum occurs. sent7: the fact that the setting happens is right. sent8: the unfaithfulness happens. sent9: if that either the hemodynamicsness happens or the regicide does not occur or both is false then that the shortstop does not occur is right. sent10: that the setting happens is prevented by that the shortstop and the mismanaging Rheum occurs.
void -> assump1: Let's assume that the shortstop occurs and the mismanaging Rheum does not occur.; assump1 -> int1: the shortstop occurs.; int1 & sent8 -> int2: the unfaithfulness occurs and the shortstop happens.; int2 & sent3 -> int3: the regicide does not occur.; int3 & sent1 -> int4: the fact that the organizing sketchiness occurs or the hemodynamicsness occurs or both is not true.; int4 & sent5 -> int5: the set does not occur.; [assump1] & int5 -> hypothesis;
the distribution happens and the disinheritance happens.
$hypothesis$ = the set does not occur if the shortstop happens and the mismanaging Rheum does not occur. ; $context$ = sent1: if the regicide does not occur then that either the organizing sketchiness or the hemodynamicsness or both occurs does not hold. sent2: the mismanaging Rheum does not occur. sent3: that the regicide occurs is prevented by that both the unfaithfulness and the shortstop happens. sent4: that not the shortstop but the mismanaging Rheum occurs prevents that the disinheritance does not occur. sent5: the set does not occur if the fact that either the organizing sketchiness occurs or the hemodynamicsness occurs or both is not correct. sent6: the set happens if the shortstop but not the mismanaging Rheum occurs. sent7: the fact that the setting happens is right. sent8: the unfaithfulness happens. sent9: if that either the hemodynamicsness happens or the regicide does not occur or both is false then that the shortstop does not occur is right. sent10: that the setting happens is prevented by that the shortstop and the mismanaging Rheum occurs. ; $proof$ = 
void -> assump1: Let's assume that the shortstop occurs and the mismanaging Rheum does not occur.; assump1 -> int1: the shortstop occurs.; int1 & sent8 -> int2: the unfaithfulness occurs and the shortstop happens.; int2 & sent3 -> int3: the regicide does not occur.; int3 & sent1 -> int4: the fact that the organizing sketchiness occurs or the hemodynamicsness occurs or both is not true.; int4 & sent5 -> int5: the set does not occur.; [assump1] & int5 -> hypothesis; __PROVED__