the hull is a kind of a Spartan and it is a Brownsville.
sent1: that the magpie is not a kind of a abnegator and it is not a pastorship is not right. sent2: if the fact that the hull squeegees adjudication is correct the fact that it is a kind of a Spartan is right. sent3: the hull is a Brownsville. sent4: if there is something such that that it is not a kind of a abnegator and it is not a kind of a pastorship does not hold then the hull squeegees adjudication.
sent1 -> int1: there exists something such that the fact that it is not a abnegator and is not a kind of a pastorship is not right.; int1 & sent4 -> int2: the hull does squeegee adjudication.; int2 & sent2 -> int3: the hull is Spartan.; int3 & sent3 -> hypothesis;
$hypothesis$ = the hull is a kind of a Spartan and it is a Brownsville. ; $context$ = sent1: that the magpie is not a kind of a abnegator and it is not a pastorship is not right. sent2: if the fact that the hull squeegees adjudication is correct the fact that it is a kind of a Spartan is right. sent3: the hull is a Brownsville. sent4: if there is something such that that it is not a kind of a abnegator and it is not a kind of a pastorship does not hold then the hull squeegees adjudication. ; $proof$ = 
sent1 -> int1: there exists something such that the fact that it is not a abnegator and is not a kind of a pastorship is not right.; int1 & sent4 -> int2: the hull does squeegee adjudication.; int2 & sent2 -> int3: the hull is Spartan.; int3 & sent3 -> hypothesis; __PROVED__