the fact that the non-Englishness is prevented by the non-Altaicness does not hold.
sent1: the kinestheticness but not the straw happens if the English does not occur. sent2: if that the kinestheticness happens is not incorrect then the Altaicness happens. sent3: the reding Calvin occurs.
void -> assump1: Let's assume that the English does not occur.; sent1 & assump1 -> int1: the kinestheticness happens but the straw does not occur.; int1 -> int2: the kinestheticness happens.; sent2 & int2 -> int3: that the Altaic happens is correct.; void -> assump2: Let's assume that the Altaic does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the English occurs.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the non-Englishness is prevented by the non-Altaicness does not hold. ; $context$ = sent1: the kinestheticness but not the straw happens if the English does not occur. sent2: if that the kinestheticness happens is not incorrect then the Altaicness happens. sent3: the reding Calvin occurs. ; $proof$ = 
void -> assump1: Let's assume that the English does not occur.; sent1 & assump1 -> int1: the kinestheticness happens but the straw does not occur.; int1 -> int2: the kinestheticness happens.; sent2 & int2 -> int3: that the Altaic happens is correct.; void -> assump2: Let's assume that the Altaic does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the English occurs.; [assump2] & int5 -> hypothesis; __DISPROVED__