if the mutant occurs then the duplicity does not occur.
sent1: the over-the-counterness occurs and the spotting peahen happens. sent2: that the vitiation does not occur but the spotting nullity occurs is wrong if the spotting peahen happens. sent3: the incurable happens if the fudging pothole does not occur. sent4: that the duplicity does not occur is brought about by that the incurable occurs and the mutant happens. sent5: the fudging pothole does not occur if the fact that not the vitiation but the spotting nullity occurs is not right.
sent1 -> int1: the spotting peahen occurs.; sent2 & int1 -> int2: the fact that the vitiation does not occur and the spotting nullity occurs is not true.; sent5 & int2 -> int3: the fudging pothole does not occur.; sent3 & int3 -> int4: the incurableness occurs.; void -> assump1: Let's assume that the mutantness occurs.; int4 & assump1 -> int5: both the incurableness and the mutant happens.; sent4 & int5 -> int6: the duplicity does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the mutant occurs then the duplicity does not occur. ; $context$ = sent1: the over-the-counterness occurs and the spotting peahen happens. sent2: that the vitiation does not occur but the spotting nullity occurs is wrong if the spotting peahen happens. sent3: the incurable happens if the fudging pothole does not occur. sent4: that the duplicity does not occur is brought about by that the incurable occurs and the mutant happens. sent5: the fudging pothole does not occur if the fact that not the vitiation but the spotting nullity occurs is not right. ; $proof$ = 
sent1 -> int1: the spotting peahen occurs.; sent2 & int1 -> int2: the fact that the vitiation does not occur and the spotting nullity occurs is not true.; sent5 & int2 -> int3: the fudging pothole does not occur.; sent3 & int3 -> int4: the incurableness occurs.; void -> assump1: Let's assume that the mutantness occurs.; int4 & assump1 -> int5: both the incurableness and the mutant happens.; sent4 & int5 -> int6: the duplicity does not occur.; [assump1] & int6 -> hypothesis; __PROVED__