the rumbling occurs if the fact that the inoperableness does not occur is true.
sent1: the fact that the commandment does not occur and the bat occurs is false if the distilling occurs. sent2: that the atomization does not occur brings about the chaoticness. sent3: the batting does not occur if that not the commandment but the batting happens does not hold. sent4: the distilling does not occur and the commandment happens. sent5: the operableness is prevented by that the distilling does not occur but the atomization happens.
sent4 -> int1: the distilling does not occur.; void -> assump2: Let's assume that the fact that the atomization happens hold.; int1 & assump2 -> int2: not the distilling but the atomization happens.; sent5 & int2 -> int3: the inoperableness occurs.; void -> assump1: Let's assume that the inoperableness does not occur.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the atomization does not occur.; sent2 & int5 -> int6: the chaoticness happens.;
the batting does not occur.
$hypothesis$ = the rumbling occurs if the fact that the inoperableness does not occur is true. ; $context$ = sent1: the fact that the commandment does not occur and the bat occurs is false if the distilling occurs. sent2: that the atomization does not occur brings about the chaoticness. sent3: the batting does not occur if that not the commandment but the batting happens does not hold. sent4: the distilling does not occur and the commandment happens. sent5: the operableness is prevented by that the distilling does not occur but the atomization happens. ; $proof$ = 
sent4 -> int1: the distilling does not occur.; void -> assump2: Let's assume that the fact that the atomization happens hold.; int1 & assump2 -> int2: not the distilling but the atomization happens.; sent5 & int2 -> int3: the inoperableness occurs.; void -> assump1: Let's assume that the inoperableness does not occur.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the atomization does not occur.; sent2 & int5 -> int6: the chaoticness happens.; __UNKNOWN__