the fact that if the debarring pier occurs then the e-mail occurs is false.
sent1: the psychogeneticness occurs if the fact that the debarring pier but not the untuning stepbrother happens hold. sent2: the puncturelessness does not occur. sent3: if the puncturelessness does not occur the untuning pier does not occur. sent4: if the untuning stepbrother happens then the untuning pier happens. sent5: if the psychogeneticness occurs then the e-mail happens.
void -> assump1: Let's assume that the untuning stepbrother occurs.; sent4 & assump1 -> int1: the fact that the untuning pier happens is not false.; sent3 & sent2 -> int2: the untuning pier does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the untuning stepbrother does not occur.; void -> assump2: Let's assume that the debarring pier occurs.; int4 & assump2 -> int5: the debarring pier but not the untuning stepbrother occurs.; int5 & sent1 -> int6: the psychogeneticness happens.; int6 & sent5 -> int7: the e-mail occurs.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the fact that if the debarring pier occurs then the e-mail occurs is false. ; $context$ = sent1: the psychogeneticness occurs if the fact that the debarring pier but not the untuning stepbrother happens hold. sent2: the puncturelessness does not occur. sent3: if the puncturelessness does not occur the untuning pier does not occur. sent4: if the untuning stepbrother happens then the untuning pier happens. sent5: if the psychogeneticness occurs then the e-mail happens. ; $proof$ = 
void -> assump1: Let's assume that the untuning stepbrother occurs.; sent4 & assump1 -> int1: the fact that the untuning pier happens is not false.; sent3 & sent2 -> int2: the untuning pier does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the untuning stepbrother does not occur.; void -> assump2: Let's assume that the debarring pier occurs.; int4 & assump2 -> int5: the debarring pier but not the untuning stepbrother occurs.; int5 & sent1 -> int6: the psychogeneticness happens.; int6 & sent5 -> int7: the e-mail occurs.; [assump2] & int7 -> hypothesis; __DISPROVED__