that the cryocautery is not congenial hold.
sent1: if there is something such that it is a bobble then the leaseholder is not a scroll. sent2: the cryocautery is allometric thing that is a painting if it is not uncongenial. sent3: if the bachelorette is a kind of a Iguanidae the venom is not a terrier and/or it does not hook devotion. sent4: there is something such that it is a bobble. sent5: the bachelorette is a Iguanidae if the cryocautery is a kind of a painting. sent6: the fact that the leaseholder scrolls if something is not a terrier and/or it does not hook devotion hold.
void -> assump1: Let's assume that the cryocautery is congenial.; sent2 & assump1 -> int1: the fact that the cryocautery is allometric and does paint is right.; int1 -> int2: the cryocautery does paint.; int2 & sent5 -> int3: the bachelorette is a Iguanidae.; int3 & sent3 -> int4: the venom is not a terrier and/or it does not hook devotion.; int4 -> int5: there is something such that it is not a kind of a terrier and/or it does not hook devotion.; int5 & sent6 -> int6: the leaseholder is a scroll.; sent4 & sent1 -> int7: the leaseholder does not scroll.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = that the cryocautery is not congenial hold. ; $context$ = sent1: if there is something such that it is a bobble then the leaseholder is not a scroll. sent2: the cryocautery is allometric thing that is a painting if it is not uncongenial. sent3: if the bachelorette is a kind of a Iguanidae the venom is not a terrier and/or it does not hook devotion. sent4: there is something such that it is a bobble. sent5: the bachelorette is a Iguanidae if the cryocautery is a kind of a painting. sent6: the fact that the leaseholder scrolls if something is not a terrier and/or it does not hook devotion hold. ; $proof$ = 
void -> assump1: Let's assume that the cryocautery is congenial.; sent2 & assump1 -> int1: the fact that the cryocautery is allometric and does paint is right.; int1 -> int2: the cryocautery does paint.; int2 & sent5 -> int3: the bachelorette is a Iguanidae.; int3 & sent3 -> int4: the venom is not a terrier and/or it does not hook devotion.; int4 -> int5: there is something such that it is not a kind of a terrier and/or it does not hook devotion.; int5 & sent6 -> int6: the leaseholder is a scroll.; sent4 & sent1 -> int7: the leaseholder does not scroll.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__