the bearer is both not a Bridgeport and not a succulence.
sent1: if the borate is not a verse then it is a epistemologist and is a grounds. sent2: the bearer is not a Bridgeport if there is something such that that it is not a glycoside and it does not heap implosion is not right. sent3: if the incubation is a grounds then the dottle is a epistemologist. sent4: if the fact that something lobs dottle but it is not a succulence is incorrect it is a succulence. sent5: there is something such that the fact that it is not a glycoside and it does not heap implosion is false. sent6: something lobs dottle if it is a epistemologist. sent7: the borate does not lob dottle if the bearer is a Goldwyn and is not a Elizabethan. sent8: the incubation does verse and it is a grounds. sent9: the borate is not a verse. sent10: something is a Goldwyn that is not a kind of a Elizabethan if it is a succulence.
sent10 -> int1: if the bearer is a kind of a succulence it is a Goldwyn and it is not a Elizabethan.; void -> assump1: Let's assume that the bearer is a succulence.; int1 & assump1 -> int2: the bearer is a kind of a Goldwyn but it is not a Elizabethan.; int2 & sent7 -> int3: the borate does not lob dottle.; sent6 -> int4: if the borate is a epistemologist then it lobs dottle.; sent1 & sent9 -> int5: the borate is a epistemologist and it is a grounds.; int5 -> int6: the borate is a kind of a epistemologist.; int4 & int6 -> int7: the borate does lob dottle.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the bearer is not a kind of a succulence.; sent5 & sent2 -> int10: the bearer is not a kind of a Bridgeport.; int9 & int10 -> hypothesis;
that the bearer is not a Bridgeport and is not a succulence is wrong.
sent4 -> int11: if the fact that the borate lobs dottle and is not a succulence is not true it is a succulence.; sent8 -> int12: the incubation does ground.; sent3 & int12 -> int13: the dottle is a epistemologist.; int13 -> int14: something is a kind of a epistemologist.;
$hypothesis$ = the bearer is both not a Bridgeport and not a succulence. ; $context$ = sent1: if the borate is not a verse then it is a epistemologist and is a grounds. sent2: the bearer is not a Bridgeport if there is something such that that it is not a glycoside and it does not heap implosion is not right. sent3: if the incubation is a grounds then the dottle is a epistemologist. sent4: if the fact that something lobs dottle but it is not a succulence is incorrect it is a succulence. sent5: there is something such that the fact that it is not a glycoside and it does not heap implosion is false. sent6: something lobs dottle if it is a epistemologist. sent7: the borate does not lob dottle if the bearer is a Goldwyn and is not a Elizabethan. sent8: the incubation does verse and it is a grounds. sent9: the borate is not a verse. sent10: something is a Goldwyn that is not a kind of a Elizabethan if it is a succulence. ; $proof$ = 
sent10 -> int1: if the bearer is a kind of a succulence it is a Goldwyn and it is not a Elizabethan.; void -> assump1: Let's assume that the bearer is a succulence.; int1 & assump1 -> int2: the bearer is a kind of a Goldwyn but it is not a Elizabethan.; int2 & sent7 -> int3: the borate does not lob dottle.; sent6 -> int4: if the borate is a epistemologist then it lobs dottle.; sent1 & sent9 -> int5: the borate is a epistemologist and it is a grounds.; int5 -> int6: the borate is a kind of a epistemologist.; int4 & int6 -> int7: the borate does lob dottle.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the bearer is not a kind of a succulence.; sent5 & sent2 -> int10: the bearer is not a kind of a Bridgeport.; int9 & int10 -> hypothesis; __PROVED__