the bibliopole is juridical and follows myrobalan.
sent1: that the anglophobe does surprise charlock hold. sent2: something is not extrusive if it is not nonrepresentative and does not surprise charlock. sent3: the sidewinder is extrusive. sent4: that the bibliopole follows myrobalan is true if the sidewinder is controversial. sent5: the paraprofessional is not controversial and it is not extrusive if it is not denotative. sent6: the bibliopole is a kind of denotative thing that is juridical. sent7: something is controversial if the fact that it is not nonrepresentative and it does not surprise charlock is wrong.
sent2 -> int1: if the sidewinder is a kind of non-nonrepresentative thing that does not surprise charlock then it is not extrusive.; void -> assump1: Let's assume that that the sidewinder is non-nonrepresentative thing that does not surprise charlock is correct.; int1 & assump1 -> int2: the sidewinder is not extrusive.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the sidewinder is not nonrepresentative and it does not surprise charlock does not hold.; sent7 -> int5: if that the sidewinder is not nonrepresentative and does not surprise charlock is wrong then it is controversial.; int4 & int5 -> int6: the sidewinder is controversial.; int6 & sent4 -> int7: the bibliopole follows myrobalan.; sent6 -> int8: the bibliopole is juridical.; int7 & int8 -> hypothesis;
that the fact that the bibliopole is juridical and follows myrobalan is not incorrect is not true.
$hypothesis$ = the bibliopole is juridical and follows myrobalan. ; $context$ = sent1: that the anglophobe does surprise charlock hold. sent2: something is not extrusive if it is not nonrepresentative and does not surprise charlock. sent3: the sidewinder is extrusive. sent4: that the bibliopole follows myrobalan is true if the sidewinder is controversial. sent5: the paraprofessional is not controversial and it is not extrusive if it is not denotative. sent6: the bibliopole is a kind of denotative thing that is juridical. sent7: something is controversial if the fact that it is not nonrepresentative and it does not surprise charlock is wrong. ; $proof$ = 
sent2 -> int1: if the sidewinder is a kind of non-nonrepresentative thing that does not surprise charlock then it is not extrusive.; void -> assump1: Let's assume that that the sidewinder is non-nonrepresentative thing that does not surprise charlock is correct.; int1 & assump1 -> int2: the sidewinder is not extrusive.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the sidewinder is not nonrepresentative and it does not surprise charlock does not hold.; sent7 -> int5: if that the sidewinder is not nonrepresentative and does not surprise charlock is wrong then it is controversial.; int4 & int5 -> int6: the sidewinder is controversial.; int6 & sent4 -> int7: the bibliopole follows myrobalan.; sent6 -> int8: the bibliopole is juridical.; int7 & int8 -> hypothesis; __PROVED__