the aftershock does not occur.
sent1: that if the stoking Blenheim occurs then the fact that the spillage but not the scruple happens is not right hold. sent2: the scrupling does not occur and the stoking Blenheim does not occur if the shabbiness does not occur. sent3: if that the feminineness but not the aftershock occurs does not hold then the prolongation does not occur. sent4: that both the spillage and the scruple occurs is wrong. sent5: that the aftershock happens is triggered by that the feminineness does not occur. sent6: both the non-jurisprudentialness and the motionalness occurs if the feminineness happens. sent7: if the scrupling does not occur the fact that the spillage happens hold. sent8: if that the spillage occurs but the scruple does not occur is incorrect then that the motionalness does not occur is right. sent9: the stoking Blenheim occurs.
void -> assump1: Let's assume that that the feminineness occurs is not incorrect.; sent6 & assump1 -> int1: the non-jurisprudentialness and the motionalness occurs.; int1 -> int2: the motionalness occurs.; sent1 & sent9 -> int3: that the spillage but not the scruple occurs does not hold.; sent8 & int3 -> int4: the motionalness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the feminine does not occur.; int6 & sent5 -> hypothesis;
that the aftershock does not occur is right.
$hypothesis$ = the aftershock does not occur. ; $context$ = sent1: that if the stoking Blenheim occurs then the fact that the spillage but not the scruple happens is not right hold. sent2: the scrupling does not occur and the stoking Blenheim does not occur if the shabbiness does not occur. sent3: if that the feminineness but not the aftershock occurs does not hold then the prolongation does not occur. sent4: that both the spillage and the scruple occurs is wrong. sent5: that the aftershock happens is triggered by that the feminineness does not occur. sent6: both the non-jurisprudentialness and the motionalness occurs if the feminineness happens. sent7: if the scrupling does not occur the fact that the spillage happens hold. sent8: if that the spillage occurs but the scruple does not occur is incorrect then that the motionalness does not occur is right. sent9: the stoking Blenheim occurs. ; $proof$ = 
void -> assump1: Let's assume that that the feminineness occurs is not incorrect.; sent6 & assump1 -> int1: the non-jurisprudentialness and the motionalness occurs.; int1 -> int2: the motionalness occurs.; sent1 & sent9 -> int3: that the spillage but not the scruple occurs does not hold.; sent8 & int3 -> int4: the motionalness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the feminine does not occur.; int6 & sent5 -> hypothesis; __DISPROVED__