the owner-driver is not a chrysoberyl.
sent1: the owner-driver is not a kind of a chrysoberyl if there exists something such that that it is a kind of a Cnemidophorus that does reconvene is wrong. sent2: the fact that the noisemaker is a warpath but not a Mauritanian is wrong. sent3: the fact that the bludgeoner is a Cnemidophorus and it does reconvene is wrong if something is not gubernatorial. sent4: if there exists something such that it is not a Cnemidophorus the fact that the terminus is a kind of a chrysoberyl and is gubernatorial does not hold. sent5: if that the noisemaker is a warpath and is not Mauritanian is not true then the terminus is not gubernatorial. sent6: something is gubernatorial. sent7: the owner-driver is not a kind of a chrysoberyl if there exists something such that it is not a kind of a Cnemidophorus.
sent5 & sent2 -> int1: the terminus is not gubernatorial.; int1 -> int2: there is something such that it is not gubernatorial.; int2 & sent3 -> int3: that the bludgeoner is a Cnemidophorus and it does reconvene is not right.; int3 -> int4: there is something such that that it is a kind of a Cnemidophorus that does reconvene is not correct.; int4 & sent1 -> hypothesis;
$hypothesis$ = the owner-driver is not a chrysoberyl. ; $context$ = sent1: the owner-driver is not a kind of a chrysoberyl if there exists something such that that it is a kind of a Cnemidophorus that does reconvene is wrong. sent2: the fact that the noisemaker is a warpath but not a Mauritanian is wrong. sent3: the fact that the bludgeoner is a Cnemidophorus and it does reconvene is wrong if something is not gubernatorial. sent4: if there exists something such that it is not a Cnemidophorus the fact that the terminus is a kind of a chrysoberyl and is gubernatorial does not hold. sent5: if that the noisemaker is a warpath and is not Mauritanian is not true then the terminus is not gubernatorial. sent6: something is gubernatorial. sent7: the owner-driver is not a kind of a chrysoberyl if there exists something such that it is not a kind of a Cnemidophorus. ; $proof$ = 
sent5 & sent2 -> int1: the terminus is not gubernatorial.; int1 -> int2: there is something such that it is not gubernatorial.; int2 & sent3 -> int3: that the bludgeoner is a Cnemidophorus and it does reconvene is not right.; int3 -> int4: there is something such that that it is a kind of a Cnemidophorus that does reconvene is not correct.; int4 & sent1 -> hypothesis; __PROVED__