the fact that if the sternalness happens the foreignness happens is incorrect.
sent1: the annunciatoriness and the sternalness occurs if the parenteralness does not occur. sent2: if the parenteralness happens then that the foreignness occurs hold. sent3: if the slaloming does not occur then the parenteralness does not occur but the foreignness occurs. sent4: the non-prostateness triggers that the slalom does not occur and the selection does not occur. sent5: the parenteralness occurs if the sternalness occurs. sent6: if the fact that the economicalness occurs and the erasing pillory occurs does not hold then the prostate does not occur.
void -> assump1: Let's assume that the sternalness occurs.; sent5 & assump1 -> int1: the parenteralness happens.; sent2 & int1 -> int2: the foreignness happens.; [assump1] & int2 -> hypothesis;
the annunciatoriness happens.
$hypothesis$ = the fact that if the sternalness happens the foreignness happens is incorrect. ; $context$ = sent1: the annunciatoriness and the sternalness occurs if the parenteralness does not occur. sent2: if the parenteralness happens then that the foreignness occurs hold. sent3: if the slaloming does not occur then the parenteralness does not occur but the foreignness occurs. sent4: the non-prostateness triggers that the slalom does not occur and the selection does not occur. sent5: the parenteralness occurs if the sternalness occurs. sent6: if the fact that the economicalness occurs and the erasing pillory occurs does not hold then the prostate does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sternalness occurs.; sent5 & assump1 -> int1: the parenteralness happens.; sent2 & int1 -> int2: the foreignness happens.; [assump1] & int2 -> hypothesis; __DISPROVED__