the fact that that the expulsion happens yields that the ceramicness does not occur but the trundling adoptee occurs is incorrect.
sent1: that the trundling sympathy occurs is triggered by the expulsion. sent2: the ceramic does not occur and the trundling adoptee happens if the trundling sympathy occurs.
void -> assump1: Let's assume that the expulsion happens.; sent1 & assump1 -> int1: the trundling sympathy occurs.; sent2 & int1 -> int2: the ceramicness does not occur but the trundling adoptee happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that that the expulsion happens yields that the ceramicness does not occur but the trundling adoptee occurs is incorrect. ; $context$ = sent1: that the trundling sympathy occurs is triggered by the expulsion. sent2: the ceramic does not occur and the trundling adoptee happens if the trundling sympathy occurs. ; $proof$ = 
void -> assump1: Let's assume that the expulsion happens.; sent1 & assump1 -> int1: the trundling sympathy occurs.; sent2 & int1 -> int2: the ceramicness does not occur but the trundling adoptee happens.; [assump1] & int2 -> hypothesis; __DISPROVED__