that if the milchness occurs the fact that the developmentalness does not occur is not true is false.
sent1: that the interchange and the milchness happens is caused by that the educationalness does not occur. sent2: the educationalness happens if the milchness happens. sent3: the developmentalness happens if the educationalness occurs.
void -> assump1: Let's assume that the milchness happens.; sent2 & assump1 -> int1: the educationalness occurs.; int1 & sent3 -> int2: the developmentalness happens.; [assump1] & int2 -> hypothesis;
the interchange happens.
$hypothesis$ = that if the milchness occurs the fact that the developmentalness does not occur is not true is false. ; $context$ = sent1: that the interchange and the milchness happens is caused by that the educationalness does not occur. sent2: the educationalness happens if the milchness happens. sent3: the developmentalness happens if the educationalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the milchness happens.; sent2 & assump1 -> int1: the educationalness occurs.; int1 & sent3 -> int2: the developmentalness happens.; [assump1] & int2 -> hypothesis; __DISPROVED__