the plughole is not Gregorian and/or it is not incontestable.
sent1: the plughole does button. sent2: something is a kind of non-infernal thing that is not a kind of a kilogram-meter if it does not heap ER. sent3: if the fact that something is Puranic but it is not a perseveration is not correct then it is not incontestable. sent4: if a non-infernal thing is not a kind of a kilogram-meter then it is not a kind of a button.
sent3 -> int1: if the fact that the plughole is Puranic but it is not a kind of a perseveration is false it is not incontestable.;
that either the plughole is not Gregorian or it is not incontestable or both is false.
sent4 -> int2: if the plasma is not an infernal and it is not a kilogram-meter it is not a kind of a button.; sent2 -> int3: the plasma is not an infernal and is not a kilogram-meter if it does not heap ER.;
$hypothesis$ = the plughole is not Gregorian and/or it is not incontestable. ; $context$ = sent1: the plughole does button. sent2: something is a kind of non-infernal thing that is not a kind of a kilogram-meter if it does not heap ER. sent3: if the fact that something is Puranic but it is not a perseveration is not correct then it is not incontestable. sent4: if a non-infernal thing is not a kind of a kilogram-meter then it is not a kind of a button. ; $proof$ = 
sent3 -> int1: if the fact that the plughole is Puranic but it is not a kind of a perseveration is false it is not incontestable.; __UNKNOWN__