the spree does not occur.
sent1: if the hop-step-and-jump occurs then the spreeing occurs. sent2: that the accepting taro and the hop-step-and-jump happens is wrong. sent3: the spree happens if that the accepting taro occurs but the hop-step-and-jump does not occur is not correct. sent4: the accepting taro does not occur.
void -> assump1: Let's assume that the accepting taro but not the hop-step-and-jump happens.; assump1 -> int1: that the accepting taro occurs hold.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the accepting taro but not the hop-step-and-jump happens is not right.; sent3 & int3 -> hypothesis;
$hypothesis$ = the spree does not occur. ; $context$ = sent1: if the hop-step-and-jump occurs then the spreeing occurs. sent2: that the accepting taro and the hop-step-and-jump happens is wrong. sent3: the spree happens if that the accepting taro occurs but the hop-step-and-jump does not occur is not correct. sent4: the accepting taro does not occur. ; $proof$ = 
void -> assump1: Let's assume that the accepting taro but not the hop-step-and-jump happens.; assump1 -> int1: that the accepting taro occurs hold.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the accepting taro but not the hop-step-and-jump happens is not right.; sent3 & int3 -> hypothesis; __DISPROVED__