that if the reducibleness happens then the juddering occurs does not hold.
sent1: that the calisthenicsness happens and the playing does not occur yields the reducibleness. sent2: the juddering happens if that the calisthenicsness occurs and the playing does not occur does not hold. sent3: if the calisthenicsness and the playing happens then the reducibleness does not occur. sent4: the fact that the reducibleness does not occur is not false if the calisthenicsness occurs and the playing does not occur.
void -> assump1: Let's assume that the reducibleness occurs.; void -> assump2: Let's assume that the calisthenicsness occurs and the playing does not occur.; sent4 & assump2 -> int1: the reducibleness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the calisthenicsness occurs and the playing does not occur is incorrect.; sent2 & int3 -> int4: the juddering happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the reducibleness happens then the juddering occurs does not hold. ; $context$ = sent1: that the calisthenicsness happens and the playing does not occur yields the reducibleness. sent2: the juddering happens if that the calisthenicsness occurs and the playing does not occur does not hold. sent3: if the calisthenicsness and the playing happens then the reducibleness does not occur. sent4: the fact that the reducibleness does not occur is not false if the calisthenicsness occurs and the playing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the reducibleness occurs.; void -> assump2: Let's assume that the calisthenicsness occurs and the playing does not occur.; sent4 & assump2 -> int1: the reducibleness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the calisthenicsness occurs and the playing does not occur is incorrect.; sent2 & int3 -> int4: the juddering happens.; [assump1] & int4 -> hypothesis; __DISPROVED__