the bibliographer does eviscerate digit.
sent1: something does lather periodontist if it does dispose. sent2: something does not dispose if the fact that it is a fortress and it does not stage Brotulidae does not hold. sent3: if the pollinium does not lather periodontist it does not stage daydreamer and is not mechanistic. sent4: something does not dispose if it does stage Brotulidae. sent5: if the Connecticuter is a fortress and does not stage Brotulidae then the pollinium does not lather periodontist. sent6: if the Connecticuter does stage daydreamer and does not eviscerate digit the bibliographer does not stage Brotulidae. sent7: the bibliographer does eviscerate digit if the pollinium does not stage daydreamer and is not mechanistic. sent8: the Connecticuter disposes.
sent2 -> int1: if that the fact that the Connecticuter is a fortress but it does not stage Brotulidae does not hold is true then it does not dispose.; void -> assump1: Let's assume that the fact that the Connecticuter is a kind of a fortress that does not stage Brotulidae does not hold.; int1 & assump1 -> int2: the Connecticuter does not dispose.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Connecticuter is a fortress but it does not stage Brotulidae.; int4 & sent5 -> int5: the pollinium does not lather periodontist.; int5 & sent3 -> int6: the pollinium does not stage daydreamer and is not mechanistic.; int6 & sent7 -> hypothesis;
that the bibliographer does not eviscerate digit is not wrong.
sent1 -> int7: if the pollinium disposes then it does lather periodontist.;
$hypothesis$ = the bibliographer does eviscerate digit. ; $context$ = sent1: something does lather periodontist if it does dispose. sent2: something does not dispose if the fact that it is a fortress and it does not stage Brotulidae does not hold. sent3: if the pollinium does not lather periodontist it does not stage daydreamer and is not mechanistic. sent4: something does not dispose if it does stage Brotulidae. sent5: if the Connecticuter is a fortress and does not stage Brotulidae then the pollinium does not lather periodontist. sent6: if the Connecticuter does stage daydreamer and does not eviscerate digit the bibliographer does not stage Brotulidae. sent7: the bibliographer does eviscerate digit if the pollinium does not stage daydreamer and is not mechanistic. sent8: the Connecticuter disposes. ; $proof$ = 
sent2 -> int1: if that the fact that the Connecticuter is a fortress but it does not stage Brotulidae does not hold is true then it does not dispose.; void -> assump1: Let's assume that the fact that the Connecticuter is a kind of a fortress that does not stage Brotulidae does not hold.; int1 & assump1 -> int2: the Connecticuter does not dispose.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Connecticuter is a fortress but it does not stage Brotulidae.; int4 & sent5 -> int5: the pollinium does not lather periodontist.; int5 & sent3 -> int6: the pollinium does not stage daydreamer and is not mechanistic.; int6 & sent7 -> hypothesis; __PROVED__