there exists something such that if the fact that it is not a kind of a subservience and does not bead egress is not correct it is not a settee.
sent1: that if that something is not a kind of a subservience and does not bead egress does not hold the fact that it is not a settee is not incorrect is correct. sent2: if the switch-hitter is a kind of a subservience then it is not a kind of a settee.
sent1 -> int1: if that the switch-hitter is not a subservience and it does not bead egress is incorrect then it is not a kind of a settee.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a kind of a subservience and does not bead egress is not correct it is not a settee. ; $context$ = sent1: that if that something is not a kind of a subservience and does not bead egress does not hold the fact that it is not a settee is not incorrect is correct. sent2: if the switch-hitter is a kind of a subservience then it is not a kind of a settee. ; $proof$ = 
sent1 -> int1: if that the switch-hitter is not a subservience and it does not bead egress is incorrect then it is not a kind of a settee.; int1 -> hypothesis; __PROVED__