the circularizing bearing occurs if the spoliation does not occur.
sent1: if the circularizing dishonesty occurs then the fact that the shift happens and the difficultness happens is false. sent2: the fact that the sculpting happens and the Ukrainian happens does not hold if the refraining kraal happens. sent3: if the spoliation happens the fact that both the nonhierarchicalness and the CABG happens does not hold. sent4: if that both the nonhierarchicalness and the CABG occurs is not right then the fact that the write-in does not occur hold. sent5: if the spoliation does not occur then that both the nonhierarchicalness and the CABG happens does not hold. sent6: the conjunction does not occur. sent7: the photostating Kickapoo does not occur. sent8: if the write-in does not occur the circularizing bearing occurs. sent9: if the nonhierarchicalness does not occur the write-in does not occur.
void -> assump1: Let's assume that the spoliation does not occur.; sent5 & assump1 -> int1: that both the nonhierarchicalness and the CABG happens does not hold.; sent4 & int1 -> int2: the fact that the write-in occurs is not correct.; sent8 & int2 -> int3: the circularizing bearing occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the circularizing bearing occurs if the spoliation does not occur. ; $context$ = sent1: if the circularizing dishonesty occurs then the fact that the shift happens and the difficultness happens is false. sent2: the fact that the sculpting happens and the Ukrainian happens does not hold if the refraining kraal happens. sent3: if the spoliation happens the fact that both the nonhierarchicalness and the CABG happens does not hold. sent4: if that both the nonhierarchicalness and the CABG occurs is not right then the fact that the write-in does not occur hold. sent5: if the spoliation does not occur then that both the nonhierarchicalness and the CABG happens does not hold. sent6: the conjunction does not occur. sent7: the photostating Kickapoo does not occur. sent8: if the write-in does not occur the circularizing bearing occurs. sent9: if the nonhierarchicalness does not occur the write-in does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spoliation does not occur.; sent5 & assump1 -> int1: that both the nonhierarchicalness and the CABG happens does not hold.; sent4 & int1 -> int2: the fact that the write-in occurs is not correct.; sent8 & int2 -> int3: the circularizing bearing occurs.; [assump1] & int3 -> hypothesis; __PROVED__